522c522,524
< assert(self.physmem.range.second.getValue() >= 0x200000)
---
> phys_mem_size = sum(map(lambda mem: mem.range.size(),
> self.memories.unproxy(self)))
> assert(phys_mem_size >= 0x200000)
530c532
< size = '%dB' % (self.physmem.range.second - 0x100000 + 1),
---
> size = '%dB' % (phys_mem_size - 0x100000),