Update gdb-memory-map.dtd (from Simon Marchi)

See: https://www.sourceware.org/ml/gdb-patches/2017-11/msg00217.html

diff --git a/gdb-memory-map.dtd b/gdb-memory-map.dtd
index 89315742a2a26ff8baaa9146121e74f99606fe39..281a2ff7de730f5968a67f1ac72d4ae21a71f61b 100644 (file)
--- a/gdb-memory-map.dtd
+++ b/gdb-memory-map.dtd
@@ -4,15 +4,14 @@
 <!-- .................................... .............. -->
 <!-- memory-map.dtd -->
 <!-- memory-map: Root element with versioning -->
-<!ELEMENT memory-map (memory | property)>
+<!ELEMENT memory-map (memory)*>
 <!ATTLIST memory-map    version CDATA   #FIXED  "1.0.0">
-<!ELEMENT memory (property)>
+<!ELEMENT memory (property)*>
 <!-- memory: Specifies a memory region,
              and its type, or device. -->
-<!ATTLIST memory        type    CDATA   #REQUIRED
+<!ATTLIST memory        type    (ram|rom|flash) #REQUIRED
                         start   CDATA   #REQUIRED
-                        length  CDATA   #REQUIRED
-                        device  CDATA   #IMPLIED>
+                        length  CDATA   #REQUIRED>
 <!-- property: Generic attribute tag -->
 <!ELEMENT property (#PCDATA | property)*>
-<!ATTLIST property      name    CDATA   #REQUIRED>
+<!ATTLIST property      name    (blocksize) #REQUIRED>