Index: /soft/giet_vm/giet_xml/mapping_info.h
===================================================================
--- /soft/giet_vm/giet_xml/mapping_info.h	(revision 762)
+++ /soft/giet_vm/giet_xml/mapping_info.h	(revision 763)
@@ -68,4 +68,5 @@
     VSEG_TYPE_SCHED    = 5,  // scheduler 
     VSEG_TYPE_HEAP     = 6,  // heap 
+    VSEG_TYPE_MMAP     = 7,  // mmap (dynamically mapped)
 };
 
@@ -156,4 +157,6 @@
     unsigned int    irqs;            // total number of irqs 
     unsigned int    periphs;         // total number of peripherals 
+    unsigned int    max_pt2;         // max number of PT2s (computed in boot.c)
+    unsigned int    padding[14];     // reserved
     char name[256];                  // mapping name
 } mapping_header_t;
Index: /soft/giet_vm/giet_xml/xml_driver.c
===================================================================
--- /soft/giet_vm/giet_xml/xml_driver.c	(revision 762)
+++ /soft/giet_vm/giet_xml/xml_driver.c	(revision 763)
@@ -30,4 +30,6 @@
         "SCHED",      // Scheduler
         "HEAP",       // Heap     
+        "MMAP",       // Mmap (dynamic mapping)
+        
     };
 
Index: /soft/giet_vm/giet_xml/xml_parser.c
===================================================================
--- /soft/giet_vm/giet_xml/xml_parser.c	(revision 762)
+++ /soft/giet_vm/giet_xml/xml_parser.c	(revision 763)
@@ -596,4 +596,5 @@
     else if (ok && (strcmp(str, "SCHED")  == 0)) vseg[vseg_index]->type = VSEG_TYPE_SCHED;
     else if (ok && (strcmp(str, "HEAP")   == 0)) vseg[vseg_index]->type = VSEG_TYPE_HEAP;
+    else if (ok && (strcmp(str, "MMAP")   == 0)) vseg[vseg_index]->type = VSEG_TYPE_MMAP;
     else
     {