CONFIG(8) — NEWS-OS Programmer’s Manual

NAME

config − build system configuration files

SYNOPSIS

/etc/config SYSTEM_NAME

DESCRIPTION

config builds a set of system configuration files from a short file which describes the sort of system that is being configured. It also takes as input a file which tells config what files are needed to generate a system. This can be augmented by a configuration specific set of files that give alternate files for a specific machine. (see the FILES section below)

config should be run from the conf subdirectory of the system source (usually /sys/conf). Its argument is the name of a system configuration file containing device specifications, configuration options and other system parameters for one system configuration. config assumes that there is already a directory ../SYSTEM_NAME created and it places all its output files in there. Makefile is a file used by make(1) in building the system; a set of header files contain definitions of the number of various devices that will be compiled into the system; and a set of swap configuration files contain definitions for the disk areas to be used for swapping, the root file system, argument processing, and system dumps.

After running config, it is necessary to run ‘make depend’ in the directory where the new makefile was created. config prints a reminder of this when it completes.

If any other error messages are produced by config, the problems in the configuration file should be corrected and config should be run again. Attempts to compile a system that had configuration errors are likely to meet with failure.

FILES

/sys/conf/Makefile.newsXXXX generic makefile for the NEWS XXXX series

/sys/conf/files list of common files system is built from

/sys/conf/files.newsXXXX list of specific files for the NEWS XXXX series

/sys/conf/devices.newsXXXX name to major device mapping file for the NEWS XXXX series

BUGS

The line numbers reported in error messages are usually off by one.

NEWS-OSRelease 4.2.1R