Peter, Your test kernel doesn't output anything on the console, but under a hardware debugger I can confirm that it does start, and then panics. I think it's a dtb problem. I tried using the reference one from the 3.8 rpm for ES and with no dtb. With no dtb we fall over in paging_init as we don't know what the physical machine looks like. With a dtb I don't yet have the exact failure caught (out of time tonight) but I suspect it is still a busted dtb. We can build a local kernel with debug, earlyprintk, and I can poke the debugger more on Wed evening. I skimmed the config only briefly, generally need more time to look into this. Jon. -- Sent from my iPad _______________________________________________ arm mailing list arm@xxxxxxxxxxxxxxxxxxxxxxx https://admin.fedoraproject.org/mailman/listinfo/arm