diff options
author | Frediano Ziglio <frediano.ziglio@citrix.com> | 2013-02-19 08:54:33 +0000 |
---|---|---|
committer | Keir Fraser <keir@xen.org> | 2013-02-21 16:47:49 +0000 |
commit | c5a29a8732f3b43ac97a5dd53ecf59e38f181c9e (patch) | |
tree | 01a579be6902f03f0bba50302005026c2d41d40d /docs/misc | |
parent | 922153cd375b0666e129ebe85c58224cf3aeec2d (diff) | |
download | xen-c5a29a8732f3b43ac97a5dd53ecf59e38f181c9e.tar.gz xen-c5a29a8732f3b43ac97a5dd53ecf59e38f181c9e.tar.bz2 xen-c5a29a8732f3b43ac97a5dd53ecf59e38f181c9e.zip |
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 <frediano.ziglio@citrix.com>
Diffstat (limited to 'docs/misc')
-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 |