VMMCI(4)

πŸ“¦ in nixpkgs unstable

πŸ¦‹ NAME πŸ¦‹

okay so this is the VMMCI(4) page from the Kernel Interfaces Manual, and it’s lowkey iconic for such a tiny manpage πŸ’…

vmmci β€” VMM control interface ✨


✨ SYNOPSIS ✨

vmmci* at virtio?

πŸŽ€ DESCRIPTION πŸŽ€

bestie, the vmmci driver gives virtual machines a whole control interface while they’re running inside OpenBSD vmm(4) hosts β€” and yes, vmm(4) is the virtual machine monitor πŸ‘‘.

It handles shutdown and reboot requests coming from the vmm(4) host by signalling init(8): shutdown uses SIGUSR2, and reboot uses SIGINT. Respectively. Periodt. πŸ’–

🌸 SEE ALSO 🌸

πŸ’€ HISTORY πŸ’€

The vmmci driver first appeared in OpenBSD 6.1 ✨

🫢 AUTHORS 🫢

The vmmci driver was written by Reyk Floeter <reyk@openbsd.org> πŸ’Œ


okay that’s the whole thing, bestie β€” this page is from Debian, dated January 13, 2017, and it’s the VMMCI(4) man page. bye and slay πŸ’…πŸŽ€

πŸ“¦ where this page comes from
  • nixpkgs unstable: cvs-export
  • πŸ’– girlified by deepseek-ai/DeepSeek-V4.1-Flash-1017 on : a language model's rewrite of the original, under its terms