Handle and preserve segments - kernel bug?

[Emanuel Thomas]

Hello,

I've tried to start Linux under Fiasco-UX. But I got:

l4lx    | The running kernel does not have the
l4lx    |       segments
l4lx    | feature enabled!

So I compiled the kernel with support for "Handle and preserve segments".
But now I get a kernel bug when trying to start it.

Welcome to Fiasco(ux)!
[...]
Freeing init code/data: 20480 bytes (5 pages)

KERNEL BUG at EIP:00043cd5 ESP:000b7998 -- PFA:50100108
ASSERTION_FAILED (Kmem::is_tcb_page_fault((Mword) kesp, 0))
  in function static void Usermode::kernel_entry(ucontext*, Mword, Mword,
Mword, Mword, Mword, Mword, Mword, Mword)
  in file [...]/l4/kernel/fiasco/src/kern/ux/usermode.cpp:204

I've tried it with gcc 3.3.5 and gcc 3.4.4.

gcc-3.4 -v
Reading specs from /usr/lib/gcc/i486-linux/3.4.4/specs
Configured with: ../src/configure -v
--enable-languages=c,c++,java,f77,pascal,objc,ada,treelang --prefix=/usr
--libexecdir=/usr/lib --with-gxx-include-dir=/usr/include/c++/3.4
--enable-shared --with-system-zlib --enable-nls --without-included-gettext
--program-suffix=-3.4 --enable-__cxa_atexit
--enable-libstdcxx-allocator=mt --enable-clocale=gnu
--enable-libstdcxx-debug --enable-java-gc=boehm --enable-java-awt=gtk
--disable-werror i486-linux
Thread model: posix
gcc version 3.4.4 20050314 (prerelease) (Debian 3.4.3-13)

gcc-3.3 -v
Reading specs from /usr/lib/gcc-lib/i486-linux/3.3.5/specs
Configured with: ../src/configure -v
--enable-languages=c,c++,java,f77,pascal,objc,ada,treelang --prefix=/usr
--mandir=/usr/share/man --infodir=/usr/share/info
--with-gxx-include-dir=/usr/include/c++/3.3 --enable-shared
--enable-__cxa_atexit --with-system-zlib --enable-nls
--without-included-gettext --enable-clocale=gnu --enable-debug
--enable-java-gc=boehm --enable-java-awt=xlib --enable-objc-gc i486-linux
Thread model: posix
gcc version 3.3.5 (Debian 1:3.3.5-13)