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