<p dir="ltr">OK, thanks. Any luck on the high bank issue?</p>
<div class="gmail_quote">On 27 Feb 2013 07:11, &quot;Jonathan Masters&quot; &lt;<a href="mailto:jcm@redhat.com">jcm@redhat.com</a>&gt; wrote:<br type="attribution"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
Peter,<br>
<br>
Your test kernel doesn&#39;t output anything on the console, but under a hardware debugger I can confirm that it does start, and then panics. I think it&#39;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&#39;t know what the physical machine looks like. With a dtb I don&#39;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.<br>

<br>
Jon.<br>
<br>
--<br>
Sent from my iPad</blockquote></div>