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)