OpenBSD manual page server

Manual Page Search Parameters

VMMCI(4) Device Drivers Manual VMMCI(4)

vmmciVMM control interface

vmmci* at virtio?

The vmmci driver provides a control interface for virtual machines running inside OpenBSD vmm(4) (virtual machine monitor) hosts.

The driver handles shutdown and reboot requests from the vmm(4) host by signalling init(8) with SIGUSR2 and SIGINT respectively.

pvbus(4), vmm(4), init(8), vmd(8)

The vmmci driver first appeared in OpenBSD 6.1.

The vmmci driver was written by Reyk Floeter <>.

January 13, 2017 OpenBSD-current