NAME
kernconf —
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 followed 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: 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. Currently, the only legal architecture is 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 pc64 (64 bit AMD architecture), 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/LINT64
- kernel configuration file for checking all the sources, includes description of kernel configuration options
- /sys/config/VKERNEL64
- default 64 bit vkernel(7) kernel configuration file
- /sys/config/X86_64_GENERIC
- default x86_64 kernel configuration file
SEE ALSO
HISTORY
The kernconf manual page first appeared in
DragonFly 1.11.