Re: [9fans] Mt. Xinu

[Richard Miller]

> the kernel had to be rebuilt to change boot devices!

Much easier just to use the debugger to patch the device number
in the kernel image.