diff options
author | ach61@labyrinth.cl.cam.ac.uk <ach61@labyrinth.cl.cam.ac.uk> | 2003-04-30 16:19:19 +0000 |
---|---|---|
committer | ach61@labyrinth.cl.cam.ac.uk <ach61@labyrinth.cl.cam.ac.uk> | 2003-04-30 16:19:19 +0000 |
commit | 45428207208465315d87c635c7371aa73f191442 (patch) | |
tree | 7eb90185d06f4c351a26026b1d544aeb4146a0c3 | |
parent | 0120669510d656dd21dc1fc5b133385aa4870fd5 (diff) | |
download | xen-45428207208465315d87c635c7371aa73f191442.tar.gz xen-45428207208465315d87c635c7371aa73f191442.tar.bz2 xen-45428207208465315d87c635c7371aa73f191442.zip |
bitkeeper revision 1.195.1.1 (3eaff787jOwArrU61tGT-CiIMiVgkw)
virtual disk manager DTD for state file
-rw-r--r-- | .rootkeys | 1 | ||||
-rw-r--r-- | tools/vdmanager/notes.xml | 35 |
2 files changed, 36 insertions, 0 deletions
@@ -16,6 +16,7 @@ 3e4d0046VHhXwFuG5FK34AVxqd5A_A tools/domain_builder/newdom 3e4d0046IBzDIeaMbQB-e2QB2ahbig tools/domain_builder/vifinit 3ea53c6dz47kAOwpk54f8_zOAQ5ngw tools/vdmanager/build.xml +3eaff785PwN0C3-xhCf_zMCL27JIgQ tools/vdmanager/notes.xml 3ea53c6dE-azH1i1VJmJMp9SHnETkQ tools/vdmanager/src/uk/ac/cam/cl/xeno/vdmanager/Extent.java 3ea53c6dtqvqC3gxeAjzmSwkYsowIw tools/vdmanager/src/uk/ac/cam/cl/xeno/vdmanager/Library.java 3ea53c6dVva2nmEP3TNM37RmshYJ1g tools/vdmanager/src/uk/ac/cam/cl/xeno/vdmanager/Main.java diff --git a/tools/vdmanager/notes.xml b/tools/vdmanager/notes.xml new file mode 100644 index 0000000000..a71e840a6d --- /dev/null +++ b/tools/vdmanager/notes.xml @@ -0,0 +1,35 @@ +<?xml version="1.0"?> +<!DOCTYPE vdmanager.dtd [ +<!ELEMENT vdmanager (partitions|free|virtual_disks|virtual_block_devices)*> + +<!ELEMENT partitions (partition)*> +<!ELEMENT partition (major, minor, blocks, star_sect, nr_sects, name)> +<!ELEMENT major (#PCDATA)> +<!ELEMENT minor (#PCDATA)> +<!ELEMENT blocks (#PCDATA)> +<!ELEMENT start_sect (#PCDATA)> +<!ELEMENT nr_sects (#PCDATA)> +<!ELEMENT name (#PCDATA)> + +<!ELEMENT free (virtual_disk)?> +<!ELEMENT virtual_disks (virtual_disk)*> +<!ELEMENT virtual_disk (name, key, expiry, extents)> +<!ELEMENT name (#PCDATA)> +<!ELEMENT key (#PCDATA)> +<!ELEMENT expiry (#PCDATA)> +<!ELEMENT extents (extent)*> +<!ELEMENT extent (disk, size, offset)> +<!ELEMENT disk (#PCDATA)> +<!ELEMENT size (#PCDATA)> +<!ELEMENT offset (#PCDATA)> + +<!ELEMENT virtual_block_devices (virtual_block_device)*> +<!ELEMENT virtual_block_device (key, domain, vbdnum, mode)> +<!ELEMENT key (#PCDATA)> +<!ELEMENT domain (#PCDATA)> +<!ELEMENT vbdnum (#PCDATA)> +<!ELEMENT mode (#PCDATA)> +]> + +<vdmanager> +</vdmanager> |