diff options
Diffstat (limited to 'docs/misc/xenstore-paths.markdown')
| -rw-r--r-- | docs/misc/xenstore-paths.markdown | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/docs/misc/xenstore-paths.markdown b/docs/misc/xenstore-paths.markdown index 09e551b2a8..535830ee81 100644 --- a/docs/misc/xenstore-paths.markdown +++ b/docs/misc/xenstore-paths.markdown @@ -164,6 +164,12 @@ Various platform properties. * acpi_s3 -- is ACPI S3 support enabled for this domain * acpi_s4 -- is ACPI S4 support enabled for this domain +#### ~/platform/generation-id = INTEGER ":" INTEGER [HVM,INTERNAL] + +Two 64 bit values that represent the Windows Generation ID. +Is used by the BIOS initializer to get this value. +If not present or "0:0" (all zeroes) device will not be present to the machine. + ### Frontend device paths Paravirtual device frontends are generally specified by their own |