Hi Carsten,

yeah, I thought as much.

I did swap to my host machine, a debian box and got much further there.
Up to

make[8]: Entering directory `/var/www/vhosts/auringostaitaan.fi/l4re-snapshot-2012111623/obj/l4/x86/pkg/l4sys/lib/src/OBJ-x86_586-l4f'
 ==> Linking to shared libl4sys.so
ld: i386:x86-64 architecture of input file `/usr/lib/gcc/x86_64-linux-gnu/4.4.5/crtbeginS.o' is incompatible with i386 output
ld: i386:x86-64 architecture of input file `/usr/lib/gcc/x86_64-linux-gnu/4.4.5/crtendS.o' is incompatible with i386 output
make[8]: *** [libl4sys.so] Error 1