I'm running debian GNU/Hurd on an i386. I compiled and installed the cvs versions of both oskit and oskit-mach. But when I boot the machine with the oskit-mach kernel, I got: Welcome to GNU Mach 1.91! Kernel page fault at address 0x1, eip=0x1 Thanks for any help. Thierry Lacoste.