KERNCONF(5) BSD File Formats Manual KERNCONF(5)NAMEkernconf — kernel configuration file
SYNOPSIS
cpu ...
device ...
ident ...
machine ...
machine-arch ...
makeoptions ...
maxusers ...
options ...
platform ...
pseudo-device ...
DESCRIPTION
This manual page describes the structure of the kernel configuration
file. It is processed by config(8) to create a build environment where a
kernel may be built using make(1). See build(7) for information on how
to build kernels.
Each line starts with a keyword at the beginning of the line and is fol‐
lowed by additional parameters. Long input lines may be broken into
shorter lines by starting the second and subsequent lines with a white
space character. Numbers are specified using C-style syntax. Blank
lines are ignored. The ‘#’ character is interpreted as a comment and is
ignored along with everything that follows it on the same line.
KEYWORDS
The following keywords are recognized in a configuration file:
cpu name
This system is to run on the CPU type name. Legal types are, for
i386: I486_CPU (i486), I586_CPU (Pentium), and I686_CPU (Pentium
Pro); for x86_64: HAMMER_CPU (x86-64). More than one CPU type
specification can appear in a configuration file.
device name [at bus] [port num] [irq num] [drq num] [iomem num] [iosiz
num] [flags num]
Configures support for device name. Additional parameters may be
passed to specify I/O configuration settings (most often for
isa(4) devices):
at specifies a bus to which the device is attached.
port specifies the start address of I/O ports to be used by the
device.
irq specifies the number of ports used by the device.
drq is the interrupt line number to be used.
iomem specifies the physical memory address used by the device.
iosiz specifies the physical memory size used by the device.
flags sets various flag bits for the device.
ident string
Sets the kernel identification string to string.
machine name
The system is to run on the machine type name. This is a legacy
keyword, it is normally set to same value as machine_arch.
machine_arch name
The system is to run on the machine architecture name. The legal
architectures are i386, and x86_64.
makeoptions name=value
Defines a make(1) macro name with the value value in the kernel
Makefile.
maxusers integer
Set the maxusers variable in the kernel.
options name[=value]
Sets the option name. Some options expect to be assigned a
value, which may be an integer, a double-quoted word, a bare
word, or an empty string (""). Note that those are eventually
handled by the C compiler, so the rules of that language apply.
platform name
Sets the platform of this kernel to name. Legal platforms are
pc32 (32 bit Intel architecture), pc64 (64 bit AMD architecture),
vkernel (32 bit virtual kernel), and vkernel64 (64 bit virtual
kernel).
pseudo-device name [N]
Includes support for the pseudo-device name. Some pseudo-devices
can have multiple or N instances.
FILES
/sys/config/GENERIC default i386 kernel configuration file
/sys/config/LINT kernel configuration file for checking all
the sources, includes description of kernel
configuration options
/sys/config/SOEKRIS kernel configuration file for the Soekris
Engineering net5501 board
/sys/config/VKERNEL default 32 bit vkernel(7) kernel configura‐
tion file
/sys/config/VKERNEL64 default 64 bit vkernel(7) kernel configura‐
tion file
/sys/config/X86_64_GENERIC default x86_64 kernel configuration file
SEE ALSOmake(1), build(7), vkernel(7), config(8)HISTORY
The kernconf manual page first appeared in DragonFly 1.11.
BSD March 28, 2010 BSD