Run and debug Fiasco.OC kernel and L4Re using a DSTREAM JTAG device and the ARM DS-5 IDE
martin.schroeder at openlimit.com
Wed Nov 19 12:20:32 CET 2014
Am 18.11.2014 um 18:55 schrieb Mahdi Aichouch:
> Hello Adam,
> I used this command line to compile the fiasco kernel and l4re.
> $> make -j 4 BOOTSTRAP_NO_STRIP=y PLATFORM_TYPE=imx6 PLATFORM_UART_NR=1
> I also added all these options to the src/l4/conf/Makeconf.boot
> But when I debug bootstrap_hello.elf binary, I still see that the
> uart_pl011.c that is used.
> As we can see in the attached config.all file the platform type is
> configured to i.mx6
> Do you have any idea.
> Thank you very much.
> Best regards,
You should check this
and also have a look into this thread
More information about the l4-hackers