Index: /soft/giet_vm/giet_common/pmem.h
===================================================================
--- /soft/giet_vm/giet_common/pmem.h	(revision 802)
+++ /soft/giet_vm/giet_common/pmem.h	(revision 803)
@@ -24,10 +24,10 @@
 // As the allocated physical memory is never released, the allocator structure
 // is very simple and is defined below in the pmem_alloc_t structure.
-// As the boot-loader is executed by one single processor, this structure 
-// does not contain any lock protecting exclusive access.
+// The physical memory allocation in each cluster being done by one single processor
+// (P[x,y,0]), this structure does not contain any lock protecting exclusive access.
 // Both small pages allocator and big pages allocators allocate a variable
 // number of CONTIGUOUS pages in the physical space.
-// The first big page in cluster[0][0] is reserved for identity mapping vsegs,
-// and is not allocated by the pmem allocator.
+// The two first big pages in cluster[0][0] are reserved for the boot-loader vsegs,
+// that are identity mapping. They are not allocated by the pmem allocator.
 ///////////////////////////////////////////////////////////////////////////////////