next up previous
Next: Avenues for Future Up: Adding Nachos/486 to Previous: Tar Files

How to Make the Kernel and Boot Floppy

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.



Paco Hope
Wed Jun 21 23:54:28 EDT 1995