Compiling L4 with a different Fiasco Config

Bjoern Doebel doebel at
Fri Jun 13 14:20:39 CEST 2008

Hi Stefan,

> Now my questions:
> Is it possible to build L4 using a different Fiasco Config? 
> If  so, how?

When by L4 you mean building the L4 packages in l4/pkg - sure.
They are in no way elated to the Fiasco build config. (Note, that
the L4 build directory is even different from the Fiasco one.)
You can change the L4 config easily by going to your L4 build
Directory and running "make config".

> Is it possible to compile L4 hello module without building the
> kernel and use this together with the separately build kernel? 
> If so, how?


$> make O=<path_to_l4_build_dir>/pkg/hello

Will do the trick as well as manually going to 
<path_to_l4_build_dir>/pkg/hello and running make.


More information about the l4-hackers mailing list