Building Fiasco-UX

Shakthi Kannan shakthimaan at
Sun Dec 10 18:50:46 CET 2006


--- Carsten Weinhold <weinhold at>
> As I am a Ubuntu user, too, I built a .deb for the
> Dapper release. You can 
> find it here:

Thanks. I was able to install it. I checked out hello
from CVS and it checked out  lot of sources.

Entering into l4/kernel/fiasco, doing "make
menuconfig;    make" builds kernel.image, irq0 which
are required for fiasco-ux.

To build sigma0, roottask, I do:

 make -C l4 O=build oldconfig
 cd l4
 make O=build

It builds load, perf_p6, rdpmc, rdtsc, roottask
successfully in build/bin/x86_586/l4v2 but fails at

l4/pkg/sigma0/server/src/ error:
l4/cxx/iostream.h: No such file or directory
In file included from
l4/pkg/sigma0/server/src/mem_man.h:4:29: error:
l4/cxx/avl_tree.h: No such file or directory
In file included from
l4/pkg/sigma0/server/src/page_alloc.h:5:31: error:
l4/cxx/list_alloc.h: No such file or directory
l4/pkg/sigma0/server/src/page_alloc.h:6:31: error:
l4/cxx/slab_alloc.h: No such file or directory
l4/pkg/sigma0/server/src/page_alloc.h:11: error: ‘cxx’
has not been declared
l4/pkg/sigma0/server/src/page_alloc.h:11: error:
‘List_alloc’ does not name a type

Do I need to checkout any other modules, or should I
build them in a different method?

Appreciate any help. Do you guyz have an IRC channel
for discussions?

Thanks again,


Shakthi Kannan

Do you Yahoo!?
Everyone is raving about the all-new Yahoo! Mail beta.

More information about the l4-hackers mailing list