On Jun 25, 2012, at 8:17 AM, Tom Cook wrote: > Hi, > > Sorry for asking newbie questions here, but I'm, well, a newbie at > this. I'm trying to get the 3.2.20-rt32 patch to boot on a Raspberry > Pi, but it seems the patch breaks the SD/MMC card driver and so the > root filesystem can't be mounted. I've built a 3.2.20 source tree and > it boots fine, then I apply 3.2.20-rt32 patch and the boot halts > trying to find the SD card for the root FS. > > I'm not too worried about trying to debug / fix this, but I don't > really know where to start. Can someone give me some pointers towards > how to track this sort of thing down? Is kdb the right tool for the > job? Can you capture a serial console log of the boot process? Thanks Sven -- To unsubscribe from this list: send the line "unsubscribe linux-rt-users" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html