Here's wut I get when trying to compile l4-ux: (ofcourse this is a second make run...)
I wish I knew how you managed to get a guest kernel to run like this anyway...
I wish I knew how you figured out to get a guest kernel to run when the documentation that comes with linux sucks so badly...
################# atg@leenooks ~/source/pot $ make make -r -I"/home/atg/source/l4/kernel/fiasco/src" -f "/home/atg/source/l4/kernel/fiasco/src"/Makefile srcdir="/home/atg/source/l4/kernel/fiasco/src" "all" make[1]: Entering directory `/home/atg/source/pot' make srcdir=/home/atg/source/l4/kernel/fiasco/src -f /home/atg/source/l4/kernel/fiasco/src/Makefile.sub1 make[2]: Entering directory `/home/atg/source/pot' Checking compiler config... unchanged. make[2]: Leaving directory `/home/atg/source/pot' make srcdir=/home/atg/source/l4/kernel/fiasco/src -f /home/atg/source/l4/kernel/fiasco/src/Makefile.sub2 all make[2]: Entering directory `/home/atg/source/pot' ... Making entry-ia32-ux.o ... Making sighandler.o ... Making shortcut-ia32-ux.o ==> Linking kernel.image /usr/lib/gcc-lib/i686-pc-linux-gnu/3.3.6/../../../../i686-pc-linux-gnu/bin/ld: errno: TLS definition in /usr/lib/gcc-lib/i686-pc-linux-gnu/3.3.6/../../../libc.a(errno.o) section .tbss mismatches non-TLS reference in boot_info-ux.o /usr/lib/gcc-lib/i686-pc-linux-gnu/3.3.6/../../../libc.a: could not read symbols: Bad value collect2: ld returned 1 exit status make[2]: *** [kernel.image] Error 1 make[2]: Leaving directory `/home/atg/source/pot' make[1]: *** [all] Error 2 make[1]: Leaving directory `/home/atg/source/pot' make: *** [all] Error 2 atg@leenooks ~/source/pot $ #################