get the kernel config. If you're already running an OpenSSI
kernel you'll find it in /boot/config-2.6.14-ssi-686-smp or
/boot/config-2.6.12-ssi-686-smp. Alternatively extract it from the
(If you want to re-build the kernel you may run into an irritating
make-kpkg bug - it seems to think that Documentation/lguest needs
cleaning up even though it doesn't exist. Just make a
"Documentation/lguest/Makefile" that contains just one line: "clean:").