OpenBSD manual page server

Manual Page Search Parameters

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

bsd.re-configkernel configuration file

The bsd.re-config 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.

/etc/bsd.re-config
Kernel configuration file.

To enable the ipmi(4) driver, add the following line to bsd.re-config:

enable ipmi

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

config(8)

September 13, 2021 OpenBSD-current