Userland (UX) Runtime

[Christian Helmuth]

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
http://os.inf.tu-dresden.de/opentc/download.xml resp.
ftp://ftp.suse.com/pub/people/kukuk/sles9/gcc34).

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

Let's cross fingers that your problems magically disappear...
-- 
Christian Helmuth

TU Dresden, Dept. of CS
Operating Systems Group
http://os.inf.tu-dresden.de/~ch12