>> A kernel is a very complex with lots of config options. It's >> impossible to tell what you could be doing right or wrong >> At the very least it looks like you're trying to boot a 3.4 kernel >> with a 3.17.4 device tree, this won't work. > > That's good start point, thank you. > >> Can you boot the device with a standard Fedora kernel with the device >> tree shipped with that? > > Yes, it works with standard Fedora kernel. > > I'm trying this kernel as it has HDMI and FLASH support. More like an > experiment than real need, but official board's image is Debian-based and i'm > wondering if i could use Fedora instead. I've never looked at the 3.4 sunxi kernel but I suspect it doesn't support DT boot but you'll need to engage with who ever maintains that. _______________________________________________ arm mailing list arm@xxxxxxxxxxxxxxxxxxxxxxx https://admin.fedoraproject.org/mailman/listinfo/arm
