<div dir="ltr">Hello Adam,<div><br></div><div>Thank you very much for your answer.</div><div><br></div><div>I didn't tried yet using an SD card or tftp.</div><div>I am interested in testing it using tftp, is there any guide showing how to setup a working configuration on my development machine?</div><div><br></div><div><div>I compiled the kernel using this command line:</div><div><font color="#274e13">$> make BOOTSTRAP_NO_STRIP=y PLATFORM_UART_NR=1</font><br></div></div><div><font color="#274e13"><br></font></div><div>Now the debugger is not complaining. I have the debug information and I can also see the source code (as shown in the attached screenshot).</div><div><br></div><div>But I still not get the debug information from the kernel in the minicom serial terminal.</div><div>I did a step by step walk through the code, the attached file shows all the debug information that I get.</div><div><br></div><div>Do I used the PLATFORM_UART_NR=1 option correctly, what verification should I do also?</div><div><br></div><div>Thank you very much in advance.</div><div><br></div><div>Best regards,</div><div><br></div><div class="gmail_extra"><br><div class="gmail_quote">On Sat, Nov 15, 2014 at 10:00 PM, Adam Lackorzynski <span dir="ltr"><<a href="mailto:adam@os.inf.tu-dresden.de" target="_blank">adam@os.inf.tu-dresden.de</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Hi,<br>
<span class=""><br>
On Fri Nov 14, 2014 at 15:33:50 +0100, Mahdi Aichouch wrote:<br>
> I have a Freescale i.MX 6 ARM Cortex A9 Sabre SD board.<br>
> I would like to test the Hello World example using the generated<br>
> bootstrap.elf binary.<br>
> I compiled the fiasco kernel and the l4re framework for the i.MX 6 ARM<br>
> Cortex-A9 using the menu configuration in both cases.<br>
><br>
> Instead of using an SD card to run the binary on the board, I would like to<br>
> flash the RAM with the binary using the DSTREAM JTAG device and the ARM<br>
> DS-5 IDE.<br>
><br>
> I connected the board to my host using the mini-usb to serial cable, and I<br>
> used minicom tool as a serial terminal.<br>
><br>
> I tried to run the binary using the DS-5 debugger while the board is<br>
> connected through JTAG, but I didn't see any debug message on the serial<br>
> terminal.<br>
<br>
</span>Is it working when you boot via SD card or tftp?<br>
<span class=""><br>
> The source code I am using is from the "l4re-snapshot-<a href="tel:2014092821" value="+12014092821">2014092821</a>".<br>
><br>
> My questions:<br>
><br>
> 1) Does anyone tried to run and debug fiasco kernel + l4re on a board using<br>
> a JTAG device?<br>
> What are the steps that I am missing?<br>
<br>
</span>I've done it, however not with this particular board.<br>
I don't really think there could be anything missing. The info on the<br>
screenshot looks ok, the disassembly shows what it has to show.<br>
Did it stop itself? Or does it run and just no output? When you let it<br>
run a few seconds and stop it again, at which PC is it?<br>
Maybe just the wrong UART? UART2 is the default, UART1 would be<br>
PLATFORM_UART_NR=1<br>
<span class=""><br>
> 2) The debug tool print a message saying that "WARNING(IMG53):<br>
> bootstrap.elf has no source level debug information", what are the options<br>
> required to include these information compiling the fiasco kernel + l4re?<br>
<br>
</span>Add BOOTSTRAP_NO_STRIP=y when building the image (you can also put it<br>
into your l4/conf/Makeconf.boot).<br>
<span class="HOEnZb"><font color="#888888"><br>
<br>
<br>
<br>
Adam<br>
--<br>
Adam                 <a href="mailto:adam@os.inf.tu-dresden.de">adam@os.inf.tu-dresden.de</a><br>
  Lackorzynski         <a href="http://os.inf.tu-dresden.de/~adam/" target="_blank">http://os.inf.tu-dresden.de/~adam/</a><br>
</font></span></blockquote></div><br></div></div>