Index: 07_devmap.html
===================================================================
--- 07_devmap.html	(revision 258)
+++ 07_devmap.html	(revision 259)
@@ -66,9 +66,24 @@
 an error, a DRC plugin shall check for it.
 
 <p>{des7:0}
-TODO: table of symbol attributes
+TODO: table of symbol attributes: pinmap
+TODO: invent the actual format
 
 <h2> 7.2. Device mapping </h2>
+
 <p>{des7:0}
+The device mapper takes the <i>devmap</i> attribute of a symbol and looks it up
+in a database for finding a device map file. If the devmap attribute is an
+array, each devmap file is looked up and applied, in order of appearance.
 
+<p>{des7:0}
+A device map file is a simple list of cschem attributes. The device mapper
+takes each attribute from the device map file and apply it on the symbol that
+had the devmap attribute.
 
+<p>{des7:0}
+A common device map file will usually have a pinmap attribute that will
+set at least one attributes on each terminal.
+
+
+