---
name: "bsd.re-config"
section: "5"
platform: "openbsd"
package: "man"
version: "8.0-current-20261101"
release: "OpenBSD 8.0-current (2026-11-01)"
platforms: ["openbsd"]
url: "https://new.carta.tech/bsd.re-config"
---

# bsd.re-config(5)

kernel configuration file

## NAME

**bsd.re-config** – kernel configuration file

## DESCRIPTION

The **bsd.re-config** file contains kernel modification commands in [config(8)](/config/8.md) format. 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.

## FILES

- */etc/bsd.re-config*

  Kernel configuration file.

## EXAMPLES

To enable the [ipmi(4)](/ipmi/4.md) driver, add the following line to **bsd.re-config**:

```
enable ipmi
```

## SEE ALSO

[config(8)](/config/8.md)