Index: trunk/platforms/tsar_generic_leti/arch.py
===================================================================
--- trunk/platforms/tsar_generic_leti/arch.py	(revision 822)
+++ trunk/platforms/tsar_generic_leti/arch.py	(revision 825)
@@ -158,12 +158,12 @@
     kernel_data_size     = 0x00100000      # 1 Mbytes in cluster[0][0]
 
-    kernel_ptab_vbase    = 0xB0000000
+    kernel_uncdata_vbase = 0x80200000
+    kernel_uncdata_size  = 0x00001000      # 4 Kbytes
+
+    kernel_sched_vbase   = 0x80400000            # distributed in all clusters
+    kernel_sched_size    = 0x00002000 * nb_procs # 8 kbytes per processor
+
+    kernel_ptab_vbase    = 0xC0000000
     kernel_ptab_size     = 0x00200000      # 2 Mbytes per cluster
-
-    kernel_uncdata_vbase = 0x90000000
-    kernel_uncdata_size  = 0x00001000      # 4 Kbytes
-
-    kernel_sched_vbase   = 0xA0000000            # distributed in all clusters
-    kernel_sched_size    = 0x00002000 * nb_procs # 8 kbytes per processor
 
     ### create mapping
@@ -267,6 +267,4 @@
     for x in xrange( x_size ):
         for y in xrange( y_size ):
-            cluster_xy = (x << y_width) + y;
-
             mapping.addGlobal( 'seg_kernel_code', kernel_code_vbase, kernel_code_size,
                                'CXW_', vtype = 'ELF', x = x, y = y, pseg = 'RAM',
@@ -282,6 +280,7 @@
     ### Only mapped in cluster[0][0]
     mapping.addGlobal( 'seg_kernel_data', kernel_data_vbase, kernel_data_size,
-                       'C_W_', vtype = 'ELF', x = 0, y = 0, pseg = 'RAM',
-                       binpath = 'build/kernel/kernel.elf', local = False )
+                       'CXW_', vtype = 'ELF', x = 0, y = 0, pseg = 'RAM',
+                       binpath = 'build/kernel/kernel.elf',
+                       local = False, big = True )
 
     ### global vseg kernel_uncdata: non local / small page
@@ -289,5 +288,6 @@
     mapping.addGlobal( 'seg_kernel_uncdata', kernel_uncdata_vbase, kernel_uncdata_size,
                        '__W_', vtype = 'ELF', x = 0, y = 0, pseg = 'RAM',
-                       binpath = 'build/kernel/kernel.elf', local = False )
+                       binpath = 'build/kernel/kernel.elf',
+                       local = False, big = False )
 
     for x in xrange( x_size ):
@@ -307,5 +307,5 @@
             ### as vbase address is incremented by (cluster_xy * vseg_increment)
             offset = cluster_xy * sched_increment
-            mapping.addGlobal( 'seg_kernel_sched_%d_%d' %(x,y), kernel_sched_vbase + offset , kernel_sched_size,
+            mapping.addGlobal( 'seg_kernel_sched_%d_%d' %(x,y), kernel_sched_vbase + offset, kernel_sched_size,
                                'C_W_', vtype = 'SCHED', x = x, y = y, pseg = 'RAM',
                                local = False, big = False )
Index: trunk/platforms/tsar_generic_leti/soclib.conf
===================================================================
--- trunk/platforms/tsar_generic_leti/soclib.conf	(revision 822)
+++ 	(revision )
@@ -1,1 +1,0 @@
-