Hi Paul, > As I mentioned in private email, I was not able to get your > mainline-based kernel from git://github.com/swarren/linux-rpi.git > to boot. Something to try if it's still not working: Try a less fancy SD card. I found that u-boot didn't want to boot a 16GB SDHC card (IIRC), but using an older 1GB SD card worked. Gr. Matthijs -- To unsubscribe from this list: send the line "unsubscribe linux-usb" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html