Index: /trunk/platforms/tsar_generic_leti/top.cpp
===================================================================
--- /trunk/platforms/tsar_generic_leti/top.cpp	(revision 629)
+++ /trunk/platforms/tsar_generic_leti/top.cpp	(revision 630)
@@ -185,11 +185,5 @@
 //////////////////////i/////////////////////////////////////
 
-#if USE_GIET_VM
-#include "giet_vm/hard_config.h"
-#endif
-
-#if USE_GIET_TSAR
 #include "../../softs/soft_transpose_giet/hard_config.h"
-#endif
 
 ////////////////////////////////////////////////////////////
@@ -229,11 +223,6 @@
 //////////////////////i/////////////////////////////////////
 
-#if USE_GIET_VM
-#define loader_args          "TBD"
-#endif
-
-#if USE_GIET_TSAR
-#define loader_args          "../../softs/soft_transpose_giet/bin.soft"
-#endif
+#define elf_loader           "../../softs/soft_transpose_giet/bin.soft"
+#define ramdisk_loader       "../../softs/soft_transpose_giet/images.raw@0x00800000:"
 
 ////////////////////////////////////////////////////////////
@@ -426,5 +415,6 @@
     std::cout << " - MAX_CYCLES       = " << ncycles << std::endl;
     std::cout << " - RESET_ADDRESS    = " << RESET_ADDRESS << std::endl;
-    std::cout << " - SOFT_FILENAME    = " << loader_args << std::endl;
+    std::cout << " - SOFT_FILENAME    = " << elf_loader << std::endl;
+    std::cout << " - RAMDISK_FILENAME = " << ramdisk_loader << std::endl;
 
     std::cout << std::endl;
@@ -668,8 +658,12 @@
    ////////////////////////////
 
-   soclib::common::Loader loader( loader_args );
+   soclib::common::Loader loader( elf_loader, ramdisk_loader );
+
+   ///////////////////////////
+   //  processor iss
+   ///////////////////////////
 
    typedef soclib::common::GdbServer<soclib::common::Mips32ElIss> proc_iss;
-   proc_iss::set_loader(loader);
+   proc_iss::set_loader( loader );
 
    ////////////////////////////