Index: trunk/platforms/dsx/v1_1cluster_phys/cluster.py
===================================================================
--- trunk/platforms/dsx/v1_1cluster_phys/cluster.py	(revision 28)
+++ trunk/platforms/dsx/v1_1cluster_phys/cluster.py	(revision 30)
@@ -48,5 +48,5 @@
         tty = self.pf.create('caba:vci_multi_tty', name, names = names)
         self.ringp.to_target.new() // tty.vci
-        tty.addSegment(name, address = addr, size = 0x10, cacheable = False)
+        tty.addSegment(name, address = addr, size = 0x40, cacheable = False)
         return tty
     
Index: trunk/platforms/dsx/v1_1cluster_phys/dsx.conf
===================================================================
--- trunk/platforms/dsx/v1_1cluster_phys/dsx.conf	(revision 30)
+++ trunk/platforms/dsx/v1_1cluster_phys/dsx.conf	(revision 30)
@@ -0,0 +1,1 @@
+soclib_type = "systemc_64"
Index: trunk/platforms/dsx/v1_1cluster_phys/v1_1cluster_phys.py
===================================================================
--- trunk/platforms/dsx/v1_1cluster_phys/v1_1cluster_phys.py	(revision 28)
+++ trunk/platforms/dsx/v1_1cluster_phys/v1_1cluster_phys.py	(revision 30)
@@ -93,5 +93,5 @@
 def main(cpus):
     from cluster import ClusterV3
-    hard = Platform(ClusterV3, cpus, binaries = ["/dsk/l1/misc/guthmull/vhdl/tsar/tsar/cosim/bin.soft"])
+    hard = Platform(ClusterV3, cpus, binaries = ["bin.soft"])
     hard.simulator('.')
 #    hard.dts(os.path.basename(__file__)[:-2]+'dts')