Boot Fiasco at ARM on QEMU

Tsai, Tung-Chieh tsaitungchieh at
Tue Oct 21 14:52:20 CEST 2008

Dear Adam,

On Thu, Oct 16, 2008 at 4:56 AM, Adam Lackorzynski
<adam at> wrote:
> You could enable IPC logging to see why task 6 can't properly talk to
> task 5. E.g. if task 5 (names) is called at all, more generally what's
> a more detailed error message than what we have now.

How to enable IPC logging ?

> How much memory did you configure? (RAM_SIZE_MB)

256 MB

And I found that if I build l4 by :

    make -C l4 O=/my/build/dir/

It build fiasco kernel on `.../kernel/fiasco/build/` with ia32 architecture no
matter what architecture I set in  :

    make -C l4 O=/my/build/dir/ config

So there's a problem if I do not choose BID_BUILD_L4DIR_ONLY=y on any
architecture except ia32.

I guess this is because in `.../l4/Makefile` line 88 :

tool ../kernel/fiasco pkg: ../dice
   $(VERBOSE)if [ -r $@/Makefile ]; then PWD=$(PWD)/$@ $(MAKE) -C $@; fi

It won't give any setting to build `../kernel/fiasco` , and then by default,
it set DFL_TEMPLATE:=ia32-short in `.../kernel/fiasco/Makefile`, so it will
build ia32 architecture fiasco kernel.

I've try to fixed it, but I don't found any variable could be used to set
DFL_TEMPLATE in `.../l4/Makefile` match the globalconfig.out template
file in `.../kernel/fiasco/src/templates/` such as 'arm-int1'.

I think why not let `.../l4/Makefile` unable to build fiasco kernel ? Or is
there any package unless bootstrap need fiasco kernel image ?

Best Regards,
Tsai, Tung-Chieh

More information about the l4-hackers mailing list