Subject: Re: kernel compile
To: emanuel stiebler <>
From: Ted Lemon <>
List: port-pmax
Date: 02/01/1998 15:53:05
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!