Userland (UX) Runtime

Christian Helmuth ch12 at
Tue Jun 27 12:20:54 CEST 2006

Hello again,

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 resp.

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...
Christian Helmuth

TU Dresden, Dept. of CS
Operating Systems Group

More information about the l4-hackers mailing list