ARM: Fix configuration files for bare-metal binaries.

diff --git a/configs/common/FSConfig.py b/configs/common/FSConfig.py
index d560e8d960f23bbddf09462212f5b95af6adf0a4..c971ba4cf201dbf1b6f620a1da5d9b2d9fc0cdb9 100644 (file)
--- 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: