To accomplish this, I would like to set up my boot menu to give an option of kernels, but to time out and boot the cpu/authserver kernel after about 10 seconds. How do I do this?
In addition to what others have said, 9fat: (dossrv(4)) and pc/setup.9fat (no man page?) might also prove useful.
I think you can edit plan9.ini in place so you probably don't need setup.9fat.
John
Tim Newsham http://www.lava.net/~newsham/
