diff options
Diffstat (limited to 'static/v10/man8/config.8')
| -rw-r--r-- | static/v10/man8/config.8 | 48 |
1 files changed, 48 insertions, 0 deletions
diff --git a/static/v10/man8/config.8 b/static/v10/man8/config.8 new file mode 100644 index 00000000..dc215527 --- /dev/null +++ b/static/v10/man8/config.8 @@ -0,0 +1,48 @@ +.TH CONFIG 8 +.SH NAME +config \- configure a Unix kernel +.SH SYNOPSIS +.B /etc/config +[ machine ] +.SH DESCRIPTION +.I Config +generates files used to build a Unix kernel +for the named +.IR machine . +The working directory should be +.I /usr/sys/conf +or +.IR /usr/sys/ machine; +if the latter, +.I machine +may be omitted from the command. +.PP +A machine description is expected in +.RI machine /conf ; +a makefile, +a number of header files, +and some C and assembler programs +are generated from the description. +.PP +The usual way to configure a new system is: +.nf +mkdir /usr/sys/newmach +cd /usr/sys/newmach +(create conf) +/etc/config +make +.fi +.SH FILES +\&../conf/makefile makefile template +.br +\&../conf/files list of kernel source files +.br +files more sources specific to this machine +.br +\&../conf/devices list of device handlers +.br +devices more devices specific to this machine +.br +conf machine description +.SH SEE ALSO +config(5) |
