diff --git a/configs/common/FSConfig.py b/configs/common/FSConfig.py
index d560e8d96..c971ba4cf 100644
--- a/configs/common/FSConfig.py
+++ b/configs/common/FSConfig.py
@@ -259,7 +259,8 @@ def makeArmSystem(mem_mode, machine_type, mdesc = None,
     if bare_metal:
         # EOT character on UART will end the simulation
         self.realview.uart.end_on_eot = True
-        self.mem_ranges = [AddrRange(mdesc.mem())]
+        self.mem_ranges = [AddrRange(self.realview.mem_start_addr,
+                                     size = mdesc.mem())]
     else:
         self.kernel = binary('vmlinux.arm.smp.fb.2.6.38.8')
         if dtb_filename is not None: