genid: Update Windows generation ID
authorFrediano Ziglio <frediano.ziglio@citrix.com>
Tue, 19 Feb 2013 08:54:33 +0000 (08:54 +0000)
committerKeir Fraser <keir@xen.org>
Thu, 21 Feb 2013 16:47:49 +0000 (16:47 +0000)
commitc5a29a8732f3b43ac97a5dd53ecf59e38f181c9e
tree01a579be6902f03f0bba50302005026c2d41d40d
parent922153cd375b0666e129ebe85c58224cf3aeec2d
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>
docs/misc/xenstore-paths.markdown
tools/firmware/hvmloader/acpi/build.c