From c5a29a8732f3b43ac97a5dd53ecf59e38f181c9e Mon Sep 17 00:00:00 2001 From: Frediano Ziglio Date: Tue, 19 Feb 2013 08:54:33 +0000 Subject: genid: Update Windows generation ID First draft specification document it as a 64bit counter, now are a 128bit value handled as a couple of 64bit values. Allow to disable the device is values are all zeroes. Add documentation for platform/generation-id key. Signed-off-by: Frediano Ziglio --- docs/misc/xenstore-paths.markdown | 6 ++++++ 1 file changed, 6 insertions(+) (limited to 'docs') 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 -- cgit v1.2.3