Use destdir as the output directory, instead of the default one. Note that config does not append SYSTEM_NAME to the directory given.
Configure a system for debugging.
Configure a system for profiling; for example, kgmon(8) and gprof(1). If two or more -p options are supplied, config configures a system for high resolution profiling.
Specify the name of the system configuration file containing device specifications, configuration options and other system parameters for one system configuration.
The config utility should be run from the conf subdirectory of the system source (usually /sys/ ARCH /conf), where ARCH represents one of the architectures supported by .Fx . The config utility creates the directory ../compile/ SYSTEM_NAME or the one given with the -d option as necessary and places all output files there. The output of config consists of a number of files; for the i386, they are: Makefile, used by make(1) in building the system; header files, definitions of the number of various devices that will be compiled into the system.
After running config, it is necessary to run "make depend" in the directory where the new makefile was created. The config utility 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 fail.
If the .Cd "options INCLUDE_CONFIG_FILE" is used in the configuration file the entire input file is embedded in the new kernel. This means that strings(1) can be used to extract it from a kernel: to extract the configuration information, use the command