diff options
-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> |