CONFIG(8) - System Manager’s Manual # CONFIG(8) - System Manager’s Manual
NAME # config - build kernel compilation directories or modify a kernel
SYNOPSIS # config [-p] [-b builddir] [-s srcdir] [config-file]
config -e [-u] [-c cmdfile] [-f | -o outfile] infile
DESCRIPTION # In the first synopsis form, the config program creates a kernel build directory from the kernel configuration file specified by config-file.
In the second synopsis form, config allows editing of the kernel binary specified by infile.
...
KCOV(4) - Device Drivers Manual # KCOV(4) - Device Drivers Manual
NAME # kcov - kernel code coverage tracing
SYNOPSIS # pseudo-device kcov
#include <sys/kcov.h>
DESCRIPTION # The kcov driver implements collection of code coverage inside the kernel. It can be enabled on a per thread basis from user space, allowing the kernel program counter to be collected during syscalls triggered by the same thread. The collected coverage can be accessed by mapping the device using mmap(2).
...
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.
...