<p dir="ltr"><br>
On 26 Sep 2013 14:13, &quot;Tinti&quot; &lt;<a href="mailto:viniciustinti@gmail.com">viniciustinti@gmail.com</a>&gt; wrote:<br>
&gt; Could you also try to boot the kernel built with GCC? For doing so please run &#39;make kernel-gcc-build&#39; it will generated a patched kernel built with GCC.<br>
&gt; With this we can also check if it is a patch problem or compiler problem</p>
<p dir="ltr">I actually compiled with llvm, and then I manially compiled with gcc from the root of the kernel tree(normal compile process), so basically the sources were identical... sort of. Is make kernel-gcc-build different in any way?</p>

<p dir="ltr">I am currently actually trying on fixed kernel and llvm repositories(kernel 3.11 and llvm 3.3) in order to avoid some bugs that might come up in the main branches.</p>
<p dir="ltr">I will give it a try whem I get home to run the kernel under gdb and hopefully this will give me some clues to what is going wrong.</p>