fiasco boot sequence on arm

Qmo (Yi-Sheng) qmosheng at
Thu Oct 16 19:39:18 CEST 2008

Dear all,

I am working on a project which porting fiasco to a ARM&DSP platform.
Now I have questions about the fiasco boot sequence in arm side.
First, when doing a workable kernel image, we should use the l4
package *[1]"bootstrap"
 to encapsulate the needed modules, for example: roottask, sigma0, and the
real fiasco kernel(it means the building image in
And we find the file "l4/pkg/bootstrap/server/src/", there are
some source code lines like:

#elif defined(ARCH_arm)
         typedef void (*startup_func)(void);
        * startup_func f = (startup_func)boot_info.kernel_start;*
the command line says that "setup the L4 kernel info page before booting the
L4 microkernel",
but we want to know what is the entry point about
*boot_info.kernel_start*in the real fiasco kernel(fiasco.image) source

And we also find that there is also a file named *[2]bootstrap in
kernel/fiasco/src/kern/arm/bootstrap.cpp*, this file seems to steup the
memory mapping.
So we guess the first bootstrap*[1]* is used to arrange the roottask,
sigma0, etc... in the memory space, then jump to the second
bootstrap*[2]*in fiasco kernel
to setup the needed memory mapping, and finally give the control to the real
fiasco kernel. We want to confirm the steps, or something is wrong?

And the last question, what is the coding style about *IMPLEMENTATION [arm]:
in kernel/fiasco/src/kern/arm/ directory, is there any effect when compiling

Thank you very much!

Best Regards,
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>

More information about the l4-hackers mailing list