On 07/09/2013 12:19 AM, Matthijs Kooijman wrote: > 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. Yes, I suppose that's a possibility. When I read Paul's email the first time, I thought U-Boot wasn't booting right, but upon re-reading, I guess that may not be the case. FWIW, when you reported problems with your 16 GB SD card, I went and got some and didn't have problems with those. I suppose the issue is card-specific; perhaps some are more marginal than others, or they implement different transfer modes/speeds. I've tried various 2(?), 8, and 16GB cards with U-Boot with success. Paul, what are the exact symptoms you're seeing? -- 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