Index: trunk/platforms/tsar_generic_leti/arch.py
===================================================================
--- trunk/platforms/tsar_generic_leti/arch.py	(revision 796)
+++ trunk/platforms/tsar_generic_leti/arch.py	(revision 797)
@@ -159,7 +159,6 @@
     ###  external peripherals (accessible in cluster[0,0] only for this mapping)
 
-    if not use_ramdisk:
-        bdv = mapping.addPeriph( 'BDV', base = bdv_base, size = bdv_size,
-                                 ptype = 'IOC', subtype = 'BDV' )
+    bdv = mapping.addPeriph( 'BDV', base = bdv_base, size = bdv_size,
+                             ptype = 'IOC', subtype = 'BDV' )
 
     tty = mapping.addPeriph( 'TTY', base = tty_base, size = tty_size,
@@ -221,5 +220,5 @@
     ### global vseg for ram disk
 
-    mapping.addGlobal( 'seg_ramdisk', rdk_base, rdk_size, '__W_',
+    mapping.addGlobal( 'seg_rdk', rdk_base, rdk_size, '__W_',
                        vtype = 'BUFFER', x = 0, y = 0, pseg = 'RAM',
                        identity = True )
@@ -227,8 +226,7 @@
     ### global vsegs for external peripherals / identity mapping
 
-    if not use_ramdisk:
-        mapping.addGlobal( 'seg_bdv', bdv_base, bdv_size, '__W_',
-                           vtype = 'PERI', x = 0, y = 0, pseg = 'BDV',
-                           identity = True )
+    mapping.addGlobal( 'seg_bdv', bdv_base, bdv_size, '__W_',
+                       vtype = 'PERI', x = 0, y = 0, pseg = 'BDV',
+                       identity = True )
 
     mapping.addGlobal( 'seg_tty', tty_base, tty_size, '__W_',