Run and debug Fiasco.OC kernel and L4Re using a DSTREAM JTAG device and the ARM DS-5 IDE
Adam Lackorzynski
adam at os.inf.tu-dresden.de
Wed Nov 19 00:16:45 CET 2014
Hi,
On Tue Nov 18, 2014 at 18:55:11 +0100, Mahdi Aichouch wrote:
> 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.
All the parameters are only relevant when building the image, i.e. in
the l4re build root directory do:
make elfimage E=hello BOOTSTRAP_NO_STRIP=y PLATFORM_TYPE=imx6 PLATFORM_UART_NR=1
That will generate images/bootstrap.elf (among others, check 'make help'
for other targets).
When the build of the image scrolls by, closely watch which
platform/xxx.o is built. It should be platform/imx.o in your case. If
it's a different one, something with the platform selection is wrong.
Adam
--
Adam adam at os.inf.tu-dresden.de
Lackorzynski http://os.inf.tu-dresden.de/~adam/
More information about the l4-hackers
mailing list