Yiaow!   You will be terribly disappointed if you try to use ``make
build'' to make a kernel... :')   That builds a complete userland, but
doesn't build any kernels at all.

To build a kernel, cd to /usr/src/sys/arch/pmax/conf, make a copy of
GENERIC (we'll call it YOURCONF, and then take out the stuff you don't
want.  Then type ``config YOURCONF''.  If that works okay, type ``cd
../compile/YOURCONF'', then ``make depend; make''.

On a pmax, this will take a while - probably about an hour.   Let us
know if you run into trouble!

			       _MelloN_