> you need to reboot using one of the kernels you pulled first. > How do I find the kernels that I pulled? They don't appear to be in /sys/src/9/pc
After I have found the kernel, do I with it by copying it into /n/9fat as specified here?: http://plan9.bell-labs.com/wiki/plan9/compiling_kernels/ Thank you, Patryk