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

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
http://os.inf.tu-dresden.de/pipermail/l4-hackers/2014/006298.html

and also have a look into this thread
http://os.inf.tu-dresden.de/pipermail/l4-hackers/2014/006463.html

Martin