OCTBOOT(4) - Device Drivers Manual (octeon) #

OCTBOOT(4) - Device Drivers Manual (octeon)

NAME #

octboot - kernel boot interface

SYNOPSIS #

pseudo-device octboot

DESCRIPTION #

The octboot driver provides an ioctl(2) interface for booting into another kernel from the currently running kernel.

IOCTL INTERFACE #

octboot provides the following ioctl(2) commands, available through <machine/octboot.h>:

OBIOC_GETROOTDEV char rootdev[PATH_MAX]

Get the name of the current root device.

OBIOC_KEXEC struct octboot_kexec_args *args

Boot into the given kernel image.

struct octboot_kexec_args { char *kimg; size_t klen; char *argv[OCTBOOT_MAX_ARGS]; };

FILES #

/dev/octboot

boot interface device.

SEE ALSO #

ioctl(2), intro(4)

HISTORY #

The octboot driver first appeared in OpenBSD 6.6.

OpenBSD 7.5 - October 10, 2020