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 << ":";
Index: trunk/softs/tsar_boot/src/reset_ioc.c
===================================================================
--- trunk/softs/tsar_boot/src/reset_ioc.c	(revision 795)
+++ trunk/softs/tsar_boot/src/reset_ioc.c	(revision 796)
@@ -7,5 +7,5 @@
  *
  * \note   These functions call the specific disk controller driver depending
- *         on the USE_IOC_BDV, USE_IOC_SPI or USE_RAMDISK constants
+ *         on the USE_IOC_BDV, USE_IOC_SPI or USE_IOC_RDK constants
  */
 
@@ -13,9 +13,9 @@
 #include <defs.h>
 
-#if !defined(USE_IOC_BDV) && !defined(USE_IOC_SPI) && !defined(USE_RAMDISK)
+#if !defined(USE_IOC_BDV) && !defined(USE_IOC_SPI) && !defined(USE_IOC_RDK)
 #   error "One of the USE_IOC_* constants must be defined in the hard_config.h"
 #endif
 
-#if (USE_IOC_BDV + USE_IOC_SPI + USE_RAMDISK) != 1
+#if (USE_IOC_BDV + USE_IOC_SPI + USE_IOC_RDK) != 1
 #   error "Only one disk controller must be used"
 #endif
@@ -29,5 +29,5 @@
 #endif
 
-#if USE_RAMDISK
+#if USE_IOC_RDK
 #include <reset_rdk.h>
 #endif
@@ -42,5 +42,5 @@
 #elif USE_IOC_SPI
     return reset_sdc_init();
-#elif USE_RAMDISK
+#elif USE_IOC_RDK
     return reset_rdk_init();
 #else
@@ -65,5 +65,5 @@
 #elif USE_IOC_SPI
     return reset_sdc_read(lba, buffer, count);
-#elif USE_RAMDISK
+#elif USE_IOC_RDK
     return reset_rdk_read(lba, buffer, count);
 #else