DragonFly On-Line Manual Pages

KERNCONF(5)              DragonFly File Formats Manual             KERNCONF(5)

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
     make(1), build(7), vkernel(7), config(8)

HISTORY
     The kernconf manual page first appeared in DragonFly 1.11.

DragonFly 4.3                    June 20, 2015                   DragonFly 4.3