DragonFly On-Line Manual Pages
CONFIG(8) DragonFly System Manager's Manual CONFIG(8)
config -- build system configuration files
config [-gpr] [-d destdir] SYSTEM_NAME
The config utility builds a set of system configuration files from the
file SYSTEM_NAME which describes the system to configure. A second file
tells config what files are needed to generate a system and can be aug-
mented by configuration specific set of files that give alternate files
for a specific machine (see the FILES section below).
Available options and operands:
-d destdir Use destdir as the output directory, instead of the default
one. Note that config does not append SYSTEM_NAME to the
-g Configure a system for debugging.
-p 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.
-r Remove the old compile directory (see below).
SYSTEM_NAME Specify the name of the system configuration file containing
device specifications, configuration options and other sys-
tem parameters for one system configuration.
config should be run from the config subdirectory of the system source
(usually /sys/config). config creates the directory
../compile/SYSTEM_NAME or the one given with the -d option as necessary
and places all output files there. If the output directory already
exists and the -r flag was specified, it will be removed first. The out-
put of config consists of a number of files; for the i386, they are:
ioconf.c, a description of what I/O devices are attached to the system;
Makefile, used by make(1) in building the system; header files, defini-
tions of the number of various devices that will be compiled into the
After running config, it is necessary to run ``make depend'' in the
directory where the new makefile was created.
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
If the 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 con-
figuration information, use the command
strings -n 3 kernel | sed -n 's/^___//p'
Traditional BSD kernels are compiled without symbols due to the heavy
load on the system when compiling a ``debug'' kernel. A debug kernel
contains complete symbols for all the source files, and enables an expe-
rienced kernel programmer to analyse the cause of a problem. The debug-
gers available prior to 4.4BSD-Lite were able to find some information
from a normal kernel; kgdb(1) provides very little support for normal
kernels, and a debug kernel is needed for any meaningful analysis.
In order to ease posting bug reports for inexperienced users and make the
debugging environment more uniform, DragonFly installs kernel and modules
unstripped. Debug information is not loaded into memory, so the only
impact is a growth in root file-system consumption by 60MB. Those wish-
ing to install stripped down kernel and modules can specify two new
makeoptions in their kernel config file or when they run the kernel-
related targets to make:
INSTALLSTRIPPED=1 The installed kernel and modules will be
stripped of debug info.
INSTALLSTRIPPEDMODULES=1 The installed modules will be stripped of debug
info. The kernel will be left with debug info
Backup copies of the kernel and modules are automatically stripped of
their debug information by objcopy(1).
/sys/conf/files list of common files system is
/sys/config/SYSTEM_NAME default location for kernel config-
/sys/config/GENERIC default i386 kernel configuration
/sys/config/LINT kernel configuration file for
checking all the sources, includes
description of kernel configuration
/sys/config/SOEKRIS kernel configuration file for the
Soekris Engineering net5501 board
/sys/config/VKERNEL default 32 bit vkernel(7) kernel
/sys/config/VKERNEL64 default 64 bit vkernel(7) kernel
/sys/config/X86_64_GENERIC default x86_64 kernel configuration
/sys/compile/SYSTEM_NAME default kernel build directory for
/sys/platform/PLATFORM/conf/Makefile generic makefile for the PLATFORM
/sys/platform/PLATFORM/conf/files list of PLATFORM specific files
gprof(1), kgdb(1), make(1), kernconf(5), build(7), vkernel(7), kgmon(8)
The SYNOPSIS portion of each device in section 4.
Building 4.3 BSD UNIX System with Config.
The config utility appeared in 4.1BSD.
The line numbers reported in error messages are usually off by one.
DragonFly 4.1 March 28, 2010 DragonFly 4.1