254a255,257
> elif machine_type == "VExpress_EMM":
> self.realview = VExpress_EMM()
> self.load_addr_mask = 0xffffffff
276,279c279,282
< if convert.toMemorySize(mdesc.mem()) > convert.toMemorySize('256MB'):
< print "The currently implemented ARM platforms only easily support 256MB of DRAM"
< print "It might be possible to get some more by using 256MB@0x30000000, but this"
< print "is untested and may require some heroics"
---
> if convert.toMemorySize(mdesc.mem()) > self.realview.max_mem_size:
> print "The currently selected ARM platforms doesn't support"
> print " the amount of DRAM you've selected. Please try"
> print " another platform"
284,290c287,289
< self.physmem = PhysicalMemory(range = AddrRange(Addr(mdesc.mem())),
< zero = True)
< self.nvmem = PhysicalMemory(range = AddrRange(Addr('2GB'),
< size = '64MB'), zero = True)
< self.nvmem.port = self.membus.master
< self.boot_loader = binary('boot.arm')
< self.boot_loader_mem = self.nvmem
---
> self.physmem = PhysicalMemory(range = AddrRange(self.realview.mem_start_addr,
> size = mdesc.mem()))
> self.realview.setupBootLoader(self.membus, self, binary)