Files.conf

CONFIG(8) - System Manager's Manual

Options, Boot.conf, Boot_config, Files.conf, Config

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_remote_register, Files.conf, Kcov

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

Intro, Sysctl, Config, Files.conf, Options

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. ...