Hi, I got a 404 error : The file you're looking for has been moved or deleted.
When I tried to access:
https://www.dropbox.com/s/abj9ao5uk9r3w72/The_Guide_to_access_HW_on_L4Linux_...
On Wed, Nov 19, 2014 at 6:20 AM, Martin Schröder < martin.schroeder@openlimit.com> wrote:
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