Run and debug Fiasco.OC kernel and L4Re using a DSTREAM JTAG device and the ARM DS-5 IDE

Martin Schröder martin.schroeder at
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.
> 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 mailing list