Well, I've just noticed that get_saved_sp (in asm.h) is purely 32-bit. After making a 64-bit-clean version (well, the Octane has its kernel_sp in xkphys, not in ckseg0) the system boots a little farther. Still, it gets a flagrant SIGSEGV, but at least it does not disappear without trace after going usermode. In fact it gets _infinite_ SIGSEGVs in mm/fault.c. Time to get back to work. Stanislaw Skowronek --<=>-- "You're not as old as the trees, not as young as the leaves. Not as free as the breeze, not as open as the seas."