aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorach61@labyrinth.cl.cam.ac.uk <ach61@labyrinth.cl.cam.ac.uk>2003-04-30 16:19:19 +0000
committerach61@labyrinth.cl.cam.ac.uk <ach61@labyrinth.cl.cam.ac.uk>2003-04-30 16:19:19 +0000
commit45428207208465315d87c635c7371aa73f191442 (patch)
tree7eb90185d06f4c351a26026b1d544aeb4146a0c3
parent0120669510d656dd21dc1fc5b133385aa4870fd5 (diff)
downloadxen-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--.rootkeys1
-rw-r--r--tools/vdmanager/notes.xml35
2 files changed, 36 insertions, 0 deletions
diff --git a/.rootkeys b/.rootkeys
index dc3adb8bff..5dbe203b37 100644
--- a/.rootkeys
+++ b/.rootkeys
@@ -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>