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? Thanks, Tom -- 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