From: GDB Administrator <gdbadmin@sourceware.org>
Date: Fri, 24 Nov 2017 22:23:04 +0000 (+0000)
Subject: Update gdb-memory-map.dtd (from Simon Marchi)
X-Git-Url: https://www.sourceware.org/git/?a=commitdiff_plain;h=bc2fdd2491e32e4c7e8da9edbf63f64a23aae27d;p=gdb-htdocs.git

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 8931574..281a2ff 100644
--- 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>