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