Userland (UX) Runtime
ch12 at os.inf.tu-dresden.de
Tue Jun 27 12:20:54 CEST 2006
I tried your binaries and variouss mixes with compiled binaries on Debian
and OpenSUSE 10.0 (as this is, what we have here). All combinations
worked, except those with your fiasco binary.
We have OpenSUSE 10.0 with GCC 3.4.3 (from
I'd suggest to use a current GCC like 4.0 for building Fiasco.
Unfortunately, L4 user applications must be built with GCC 3.4 as there
are some dependencies to Linux 2.4 sources. But we're on the way to fix
Let's cross fingers that your problems magically disappear...
TU Dresden, Dept. of CS
Operating Systems Group
More information about the l4-hackers