Index: /trunk/platforms/tsar_generic_iob/arch.py
===================================================================
--- /trunk/platforms/tsar_generic_iob/arch.py	(revision 1025)
+++ /trunk/platforms/tsar_generic_iob/arch.py	(revision 1026)
@@ -43,13 +43,13 @@
 #
 #  Regarding the boot and kernel vsegs mapping :
-#  - We use one big physical page (2 Mbytes) for the preloader and the four
-#    boot vsegs, all allocated in cluster[0,0].
-#  - We use one big page per cluster for the replicated kernel code vsegs.
-#  - We use one big page in cluster[0][0] for the kernel data vseg.
-#  - We use one big page per cluster for the distributed kernel heap vsegs.
-#  - We use one big page per cluster for the distributed ptab vsegs.
-#  - We use small physical pages (4 Kbytes) per cluster for the schedulers.
-#  - We use one big page for each external peripheral in IO cluster,
-#  - We use one small page per cluster for each internal peripheral.
+#  - We use one big physical page (2 Mbytes) for the preloader,
+#    the 4 boot vsegs are packed in one BPP allocated in cluster[0,0].
+#  - We use one BPP per cluster for the replicated kernel code vsegs.
+#  - We use one BPP in cluster[0][0] for the kernel data vseg.
+#  - We use two BPP per cluster for the distributed kernel heap vsegs.
+#  - We use one BPP per cluster for the distributed ptab vsegs.
+#  - We use two SPP per cluster for each schedulers.
+#  - We use one PBB for each external peripheral in IO cluster,
+#  - We use one SPP per cluster for each internal peripheral.
 ##################################################################################
 
@@ -162,8 +162,5 @@
 
     kernel_code_vbase    = 0x80000000
-    kernel_code_size     = 0x00100000           # 1 Mbytes per cluster
-
-    kernel_init_vbase    = 0x88000000
-    kernel_init_size     = 0x00100000           # 1 Mbytes per cluster
+    kernel_code_size     = 0x00200000           # 2 Mbytes per cluster
 
     kernel_data_vbase    = 0x90000000
@@ -345,5 +342,5 @@
                        local = False, big = True )
 
-    ### global vsegs kernel_code, kernel_init : big / local
+    ### global vsegs kernel_code : big / local
     ### replicated in all clusters with indexed name & same vbase
     for x in xrange( x_size ):
@@ -351,10 +348,4 @@
             mapping.addGlobal( 'seg_kernel_code_%d_%d' %(x,y), 
                                kernel_code_vbase, kernel_code_size,
-                               'CXW_', vtype = 'ELF', x = x , y = y , pseg = 'RAM',
-                               binpath = 'bin/kernel/kernel.elf', 
-                               local = True, big = True )
-
-            mapping.addGlobal( 'seg_kernel_init_%d_%d' %(x,y), 
-                               kernel_init_vbase, kernel_init_size,
                                'CXW_', vtype = 'ELF', x = x , y = y , pseg = 'RAM',
                                binpath = 'bin/kernel/kernel.elf',