> From: Matthijs Kooijman [mailto:matthijs@xxxxxxxx] > Sent: Monday, July 08, 2013 11:20 PM > > > 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. I got it to boot with the precompiled u-boot images that Stephen gave me. I do see some issues that don't show up with the same driver on the downstream Pi kernel. I will investigate. -- Paul -- 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