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

_______________________________________________
l4-hackers mailing list
l4-hackers@os.inf.tu-dresden.de
http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers