[fedora-arm] Custom kernel

[Peter Robinson]

>> 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.