> +The ``vmgenid`` driver uses ACPI events to be notified by hardware > +changes to the 128-bit Vm Gen Id UUID.
That's ok, problem is ACPI event processing is asynchronous. What we need is thus to flush out ACPI events whenever userspace does a read, otherwise the value it gets will be stale. -- MST
