Index: trunk/platforms/tsar_generic_leti/arch.py
===================================================================
--- trunk/platforms/tsar_generic_leti/arch.py	(revision 959)
+++ trunk/platforms/tsar_generic_leti/arch.py	(revision 960)
@@ -71,5 +71,5 @@
     ### parameters checking
 
-    assert( nb_procs <= (1 << p_width) )
+    assert( nb_procs <= 4 )
 
     assert( x_size <= (1 << x_width) )
@@ -205,5 +205,5 @@
                                          size = xcu_size, ptype = 'XCU', 
                                          channels = nb_procs * irq_per_proc, 
-                                         arg0 = 16, arg1 = 16, arg2 = 16, arg3 = 16 )
+                                         arg0 = 16, arg1 = 16, arg2 = 16 )
 
                 mapping.addIrq( xcu, index = 8, isrtype = 'ISR_MMC' )