Subject: Re: Cannot boot genbsd
To: Martin Brennfleck <brma@krisal.physik.uni-karlsruhe.de>
From: Gaurav Banga <gaurav@cs.rice.edu>
List: port-pmax
Date: 07/03/1995 16:38:10
>
> I grabbed sys.tar.gz from the NetBSD/NetBSD-current/tar_files/src
> directory. I do not know, how to configure the kernel and how to make it.
> In wich Directory have I to untar the file(s), where have I to call make, 
> do I have any options to pass?
> Where is the description file, where I can configure the kernel?
> I even do not know if the file sys.tar.gz is the right one, or do I have 
> to do get more files? Do I have to use a certain version of the compiler ...
> 
> These are a lot of Questions, I know.
> I'd be very greatfull (is greatfull a proper word in that sense?)
> if you find once again the time to answer me.
> Thank you and bye
> 


Install the kernel sources in /usr/src/sys. Roughly speaking the kernel 
build process works this way:

1) go into /usr/src/sys/arch/pmax/conf
2) use GENERIC.pmax file there as a config file and invoke config
   to create your makefile

3) go to /usr/src/sys/arch/pmax/compile/GENERIC.pmax
4) make depend
5) make

Read the man page for config for more details.

-Gaurav