1# Copyright (c) 2016-2017 ARM Limited 2# All rights reserved. 3# 4# The license below extends only to copyright in the software and shall 5# not be construed as granting a license to any other intellectual 6# property including but not limited to intellectual property relating 7# to a hardware implementation of the functionality of the software 8# licensed hereunder. You may use the software subject to the license --- 96 unchanged lines hidden (view full) --- 105 # Only simulate caches when using a timing CPU (e.g., the HPI model) 106 want_caches = True if mem_mode == "timing" else False 107 108 system = devices.SimpleSystem(want_caches, 109 args.mem_size, 110 mem_mode=mem_mode, 111 dtb_filename=dtb_file, 112 kernel=SysPaths.binary(args.kernel), |
113 readfile=args.script) |
114 115 MemConfig.config_mem(args, system) 116 117 # Add the PCI devices we need for this system. The base system 118 # doesn't have any PCI devices by default since they are assumed 119 # to be added by the configurastion scripts needin them. 120 system.pci_devices = [ 121 # Create a VirtIO block device for the system's boot --- 120 unchanged lines hidden --- |