Index: soft/giet_vm/giet_python/mapping.py
===================================================================
--- soft/giet_vm/giet_python/mapping.py	(revision 319)
+++ soft/giet_vm/giet_python/mapping.py	(revision 326)
@@ -1180,5 +1180,6 @@
         s += '\n'
 
-        s += '/* physical base addresses for identity mapped boot vsegs */\n'
+        s += '/* physical base addresses for identity mapped vsegs */\n'
+        s += '/* used by the GietVM OS                             */\n'
         s += '\n'
         s += '#define SEG_BOOT_MAPPING_BASE  0x%x\n'  % boot_mapping_base