Index: /soft/giet_vm/giet_boot/boot.c
===================================================================
--- /soft/giet_vm/giet_boot/boot.c	(revision 725)
+++ /soft/giet_vm/giet_boot/boot.c	(revision 726)
@@ -1283,5 +1283,5 @@
                     psched->threads   = ltid + 1;
 
-                    // ctx_trd_id : compute pthread global identifier
+                    // ctx_trdid : compute pthread global identifier
                     unsigned int ctx_trdid = x << 24 | y<<16 | lpid<<8 | ltid;
 
@@ -1352,4 +1352,9 @@
 void boot_mapping_init()
 {
+
+#if BOOT_DEBUG_MAPPING
+_printf("\n[BOOT DEBUG] boot_mapin_init() : enter\n");
+#endif
+
     // load map.bin file into buffer
     if ( _fat_load_no_cache( "map.bin",