diff -r ec37ccdc6d96 -r 05b87da4607e configs/common/Options.py
--- a/configs/common/Options.py	Fri Jul 05 14:25:08 2013 +0100
+++ b/configs/common/Options.py	Fri Jul 05 14:25:09 2013 +0100
@@ -85,7 +85,7 @@
                       choices=MemConfig.mem_names(),
                       help = "type of memory to use")
     parser.add_option("--mem-size", action="store", type="string",
-                      default="512MB",
+                      default="256MB",
                       help="Specify the physical memory size (single memory)")
 
     # Cache Options