Index: /soft/giet_vm/Makefile
===================================================================
--- /soft/giet_vm/Makefile	(revision 417)
+++ /soft/giet_vm/Makefile	(revision 418)
@@ -12,4 +12,5 @@
 Y    ?= 2
 P    ?= 2
+FBF  ?= 1024
 APP  ?= convol
 
@@ -56,4 +57,5 @@
 ### Objects to be linked for boot.elf
 BOOT_OBJS    = build/common/utils.o       \
+               build/common/pmem.o        \
                build/common/vmem.o        \
                build/fat32/fat32.o        \
@@ -193,5 +195,12 @@
 ### mapping generation: map.bin / map.xml / hard_config.h / giet_vsegs.ld
 map.bin hard_config.h giet_vsegs.ld: $(ARCH)/arch.py  $(APP)/$(APP).py
-	giet_python/genmap --arch=$(ARCH) --x=$(X) --y=$(Y) --p=$(P) --giet=. --$(APP) --xml=.
+	giet_python/genmap --arch=$(ARCH) \
+                       --x=$(X)       \
+                       --y=$(Y)       \
+                       --p=$(P)       \
+                       --fbf=$(FBF)   \
+                       --giet=.       \
+                       --$(APP)       \
+                       --xml=.
 
 ### drivers compilation
@@ -325,4 +334,10 @@
 build/common/vmem.o: giet_common/vmem.c \
                      giet_common/vmem.h \
+                     hard_config.h      \
+                     giet_config.h
+	$(CC) $(GIET_INCLUDE) $(CFLAGS)  -c -o $@ $<
+
+build/common/pmem.o: giet_common/pmem.c \
+                     giet_common/pmem.h \
                      hard_config.h      \
                      giet_config.h
Index: /soft/giet_vm/giet_config.h
===================================================================
--- /soft/giet_vm/giet_config.h	(revision 417)
+++ /soft/giet_vm/giet_config.h	(revision 418)
@@ -23,4 +23,5 @@
 
 #define GIET_DEBUG_INIT          0          /* trace kernel initialisation */
+
 #define GIET_DEBUG_FAT           0          /* trace fat accesses */ 
 #define GIET_DEBUG_SWITCH        0          /* trace context switchs  */
@@ -37,10 +38,9 @@
 /* software parameters */
 
-#define GIET_ELF_BUFFER_SIZE     0x20000    /* Temporary buffer for .elf files 128 Kbytes */
-#define GIET_IDLE_TASK_PERIOD    0xFFFFFFFF /* Idle Task message period */
-#define GIET_MAX_ELF_FILES       20         /* max .elf files loaded by boot-loader */
+#define GIET_ELF_BUFFER_SIZE     0x60000    /* buffer for .elf files in seg_boot_data */
+#define GIET_IDLE_TASK_PERIOD    0x10000000 /* Idle Task message period */
 #define GIET_OPEN_FILES_MAX      16         /* max simultaneously open files */
-#define GIET_NB_VSPACE_MAX       64         /* max number of virtual spaces */
-#define GIET_TICK_VALUE	         0x00008000 /* context switch period (number of cycles) */
+#define GIET_NB_VSPACE_MAX       16         /* max number of virtual spaces */
+#define GIET_TICK_VALUE	         0x00100000 /* context switch period (number of cycles) */
 #define GIET_USE_IOMMU           0          /* IOMMU activated when non zero */
 #define GIET_NO_HARD_CC          0          /* No hard cache coherence when non zero */