Re: Run and debug Fiasco.OC kernel and L4Re using a DSTREAM JTAG device and the ARM DS-5 IDE
teclis High Elf <[email protected]>
| Newsgroups | gmane.comp.micro-kernel.l4.devel |
|---|---|
| Message-ID | <CAN4o2gO8F8ULUUhzVWQXeNGLX3yf5wj1zcRsyyCr6yZUNxPH9w@mail.gmail.com> |
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_v1.0.pdf On Wed, Nov 19, 2014 at 6:20 AM, Martin Schröder < [email protected]> 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 > [email protected] > http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers > _______________________________________________ l4-hackers mailing list [email protected] http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers