82,83c82,84
< def createSystem(kernel, bootscript, disks=[]):
< sys = devices.SimpleSystem(kernel=SysPaths.binary(kernel),
---
> def createSystem(caches, kernel, bootscript, disks=[]):
> sys = devices.SimpleSystem(caches, default_mem_size,
> kernel=SysPaths.binary(kernel),
87,89c88
< mem_region = sys.realview._mem_regions[0]
< sys.mem_ctrls = SimpleMemory(
< range=AddrRange(start=mem_region[0], size=default_mem_size))
---
> sys.mem_ctrls = SimpleMemory(range=sys._mem_range)
162,163c161,165
< disks = default_disk if len(options.disk) == 0 else options.disk
< system = createSystem(options.kernel, options.bootscript, disks=disks)
---
> disks = [default_disk] if len(options.disk) == 0 else options.disk
> system = createSystem(options.caches,
> options.kernel,
> options.bootscript,
> disks=disks)