Index: trunk/platforms/tsar_generic_leti/arch.py
===================================================================
--- trunk/platforms/tsar_generic_leti/arch.py	(revision 795)
+++ trunk/platforms/tsar_generic_leti/arch.py	(revision 796)
@@ -159,6 +159,7 @@
     ###  external peripherals (accessible in cluster[0,0] only for this mapping)
 
-    bdv = mapping.addPeriph( 'BDV', base = bdv_base, size = bdv_size,
-                             ptype = 'IOC', subtype = 'BDV' )
+    if not use_ramdisk:
+        bdv = mapping.addPeriph( 'BDV', base = bdv_base, size = bdv_size,
+                                 ptype = 'IOC', subtype = 'BDV' )
 
     tty = mapping.addPeriph( 'TTY', base = tty_base, size = tty_size,
@@ -226,7 +227,8 @@
     ### global vsegs for external peripherals / identity mapping
 
-    mapping.addGlobal( 'seg_bdv', bdv_base, bdv_size, '__W_',
-                       vtype = 'PERI', x = 0, y = 0, pseg = 'BDV',
-                       identity = True )
+    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_tty', tty_base, tty_size, '__W_',
Index: trunk/platforms/tsar_generic_leti/top.cpp
===================================================================
--- trunk/platforms/tsar_generic_leti/top.cpp	(revision 795)
+++ trunk/platforms/tsar_generic_leti/top.cpp	(revision 796)
@@ -601,5 +601,5 @@
    ////////////////////////////
 
-#if USE_RAMDISK
+#if USE_IOC_RDK
    std::ostringstream ramdisk_name;
    ramdisk_name << disk_name << "@" << std::hex << SEG_RDK_BASE << ":";