Hi Are there any reported solutions for compiling the oskit1.0 that comes with l4 with installed glibc 2.2.4 or newer? On my machine (Debian "sid", gcc 2.95.4) it throw a linker error while linking unix/linux/sbrk-hack.o together with libc.a because duplicate symbol __libc_multiple_libcs. The sbrk-hack's only purpose seems to be defining these global variable (as an int). Maybe this was an error in libc and got fixed in 2.2.4? However when I compiled under glibc 2.1.3-10 (and gcc 2.95.2) it works... -- Immanuel Scholz, PGP: (Work 0x9216F1E7, Home 0x3B5DC02D)