GSP
Quick Navigator

Search Site

Unix VPS
A - Starter
B - Basic
C - Preferred
D - Commercial
MPS - Dedicated
* Sign Up! *

Support
Customer Portal
Contact Us
Online Help
Handbooks
Domain Status
Man Pages

FAQ
Virtual Servers
Pricing
Billing
Technical

Network
Facilities
Connectivity
Topology Map

Miscellaneous
Server Agreement
Year 2038
Credits
 

USA Flag

 

 

Man Pages
VMGENC(4) FreeBSD Kernel Interfaces Manual VMGENC(4)

vmgencACPI virtual machine generation ID counter

device vmgenc

In loader.conf(5):
vmgenc_load="YES"

The vmgenc driver provides support for the Virtual Machine Generation ID, a 128-bit unique identifier exposed by the hypervisor via ACPI. The hypervisor changes this identifier whenever the virtual machine is cloned, restored from a snapshot, or otherwise duplicated.

When a generation ID change is detected, the vmgenc driver feeds the new identifier into the kernel entropy pool via random(4), ensuring that duplicated virtual machines do not share cryptographic state. The driver also sends a devctl(4) event and an internal kernel notification so that other subsystems can respond to the duplication.

The Virtual Machine Generation ID specification is supported by QEMU, VMware ESXi, Microsoft Hyper-V, and Xen.

The following variable is available:

dev.vmgenc.%d.guid
The current cached VM generation counter as a 128-bit value. This value is updated each time the hypervisor signals a generation change.

The vmgenc driver first appeared in FreeBSD 13.0.

The vmgenc driver was written by Conrad Meyer <cem@FreeBSD.org>.

This manual page was written by
Christos Longros <chris.longros@gmail.com>.

March 21, 2026 FreeBSD 15.1-RELEASE

Search for    or go to Top of page |  Section 4 |  Main Index

Powered by GSP Visit the GSP FreeBSD Man Page Interface.
Output converted with ManDoc.