OpenBSD manual page server

Manual Page Search Parameters

BSD.RE-CONFIG(5) File Formats Manual BSD.RE-CONFIG(5) configuration file

The file contains configuration information for the kernel. If present, it is used during system startup to configure the kernel that will be running at the next boot. It can be used to enable or disable specific devices in the kernel.

Kernel configuration file.

To enable the ipmi(4) driver, add the following line to

enable ipmi

See config(8) for more details on how to configure the kernel.


September 13, 2021 OpenBSD-current