Index: /soft/giet_vm/giet_config.h
===================================================================
--- /soft/giet_vm/giet_config.h	(revision 769)
+++ /soft/giet_vm/giet_config.h	(revision 770)
@@ -38,4 +38,6 @@
 #define GIET_DEBUG_COPROC         0            /* coprocessor access */
 #define GIET_DEBUG_EXEC           0            /* kill/exec & thread control */
+#define GIET_DEBUG_MMAP           0            /* MMAP access */
+#define GIET_DEBUG_VMEM           0            /* VMEM library */
 
 #define GIET_DEBUG_USER_MALLOC    0            /* malloc library */
@@ -46,17 +48,17 @@
 /* software parameters */
 
-#define GIET_ELF_BUFFER_SIZE     0x80000       /* buffer for .elf files  */
-#define GIET_IDLE_THREAD_PERIOD  0x10000000    /* Idle Task message period */
-#define GIET_OPEN_FILES_MAX      16            /* max simultaneously open files */
-#define GIET_NB_VSPACE_MAX       16            /* max number of virtual spaces */
-#define GIET_TICK_VALUE	         0x00010000    /* context switch period (cycles) */
-#define GIET_USE_IOMMU           0             /* IOMMU activated when non zero */
-#define GIET_NO_HARD_CC          0             /* No hard cache coherence */
-#define GIET_NIC_MAC4            0x12345678    /* 32 LSB bits of the MAC address */
-#define GIET_NIC_MAC2            0xBEBE        /* 16 MSB bits of the MAC address */
-#define GIET_ISR_TYPE_MAX        32            /* max number of ISR types */
-#define GIET_ISR_CHANNEL_MAX     16            /* max number of ISR channels */
-#define GIET_SDC_PERIOD          2             /* number of system cycles in SDC period */
-#define GIET_SR_INIT_VALUE       0x2000FF13    /* SR initial value (before eret) */
+#define GIET_ELF_BUFFER_SIZE      0x80000      /* buffer for .elf files  */
+#define GIET_IDLE_THREAD_PERIOD   0x10000000   /* Idle Task message period */
+#define GIET_OPEN_FILES_MAX       16           /* max simultaneously open files */
+#define GIET_NB_VSPACE_MAX        16           /* max number of virtual spaces */
+#define GIET_TICK_VALUE	          0x00010000   /* context switch period (cycles) */
+#define GIET_USE_IOMMU            0            /* IOMMU activated when non zero */
+#define GIET_NO_HARD_CC           0            /* No hard cache coherence */
+#define GIET_NIC_MAC4             0x12345678   /* 32 LSB bits of the MAC address */
+#define GIET_NIC_MAC2             0xBEBE       /* 16 MSB bits of the MAC address */
+#define GIET_ISR_TYPE_MAX         32           /* max number of ISR types */
+#define GIET_ISR_CHANNEL_MAX      16           /* max number of ISR channels */
+#define GIET_SDC_PERIOD           2            /* number of cycles in SDC period */
+#define GIET_SR_INIT_VALUE        0x2000FF13   /* SR initial value (before eret) */
 
 #endif