To make the normal kernel, change directories to nachos486/ and simply type gmake. This works as it always has. To make a bootable floppy from that same kernel, run gmake bootdisk. It will re-link the binary with the stand-alone extensions. It also expects a floppy to be inserted in the drive, and it will overwrite that disk with a copy of the Nachos/486 kernel.