<div dir="ltr">Hello all,<div><br></div><div>We've tried to run a basic test-printf script on a Freescale i.MX6 sabrelite board. Based on <a href="http://sourceforge.net/p/genode/mailman/message/31760885/">this</a>, we implemented the necessary files. We had also come across an i.MX6 branch by Nikolay Golikov stating that he had a preliminary port of i.MX6 here: <a href="https://github.com/decaprox/genode/tree/i.mx6">https://github.com/decaprox/genode/tree/i.mx6</a></div>
<div><br></div><div>We ran RUN_OPT="--target=uboot" make run/printf to see if it does print "-1 = -1 = -1" to the serial console (tested with gtkterm). </div><div><br></div><div>We ran the boot image uImage through TFTP at load address 0x10800000. It loads the kernel (267.9 kB) but stops at "Loading kernel". </div>
<div><br></div><div>How do we know if the kernel is indeed running, or are we checking the right UART ports? (we checked UART1)</div><div><br></div><div>I gave "console=ttymxc0, 115200" as bootargs in u-boot. Any suggestions on how to proceed? Because we are literally stuck. </div>
<div><br></div><div>Also, is there a good debugging tool for testing the genode environment on direct hardware?</div><div><br></div><div>Thanks in advance</div><div>Aditya Kousik</div></div>