OPTIONS(4) - Device Drivers Manual # OPTIONS(4) - Device Drivers Manual
NAME # options - kernel configuration options
SYNOPSIS # option …
DESCRIPTION # This manual page describes a number of miscellaneous kernel configuration options that may be specified in a kernel config file. See config(8) for information on how to configure and build kernels. Note: options are passed to the compile process as -D flags to the C compiler.
...
SYSCTL(8) - System Manager’s Manual # SYSCTL(8) - System Manager’s Manual
NAME # sysctl - get or set kernel state
SYNOPSIS # sysctl [-Aanq] [name[=value]]
DESCRIPTION # The sysctl utility retrieves kernel state and allows processes with appropriate privilege to set kernel state. The state to be retrieved or set is described using a “Management Information Base” (MIB) style name, using a dotted set of components.
When retrieving a variable, a subset of the MIB name may be specified to retrieve a list of variables in that subset.
...
VEB(4) - Device Drivers Manual # VEB(4) - Device Drivers Manual
NAME # veb, vport - Virtual Ethernet Bridge network device
SYNOPSIS # pseudo-device veb
DESCRIPTION # The veb pseudo-device supports the creation of a single layer 2 Ethernet network between multiple ports. Ethernet interfaces are added to the veb bridge to be used as ports. Unlike bridge(4), veb takes over the operation of the interfaces that are added as ports.
...
WITNESS(4) - Device Drivers Manual # WITNESS(4) - Device Drivers Manual
NAME # witness - lock validation facility
DESCRIPTION # The witness module keeps track of the locks acquired and released by each thread. It also keeps track of the order in which locks are acquired with respect to each other. Each time a lock is acquired, witness uses these two lists to verify that a lock is not being acquired in the wrong order.
...
XF86(4) - Device Drivers Manual # XF86(4) - Device Drivers Manual
NAME # xf86 - X Window System aperture driver
SYNOPSIS # option APERTURE
DESCRIPTION # On the alpha, amd64, i386, macppc, and sparc64 architectures, the /dev/xf86 driver provides access to the memory and I/O ports of a VGA board and to the PCI configuration registers for use by the X servers when running with a kernel security level greater than 0.
...