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