1c1
< # Copyright (c) 2012, 2017 ARM Limited
---
> # Copyright (c) 2012, 2017, 2019 ARM Limited
48a49,50
> from common import SysPaths
>
97a100,113
> default_kernels = {
> "RealViewPBX": "vmlinux.arm.smp.fb.2.6.38.8",
> "VExpress_EMM": "vmlinux.aarch32.ll_20131205.0-gem5",
> "VExpress_EMM64": "vmlinux.aarch64.20140821",
> }
> system.kernel = SysPaths.binary(default_kernels[self.machine_type])
> default_dtbs = {
> "RealViewPBX": None,
> "VExpress_EMM": "vexpress.aarch32.ll_20131205.0-gem5.{}cpu.dtb" \
> .format(self.num_cpus),
> "VExpress_EMM64": "vexpress.aarch64.20140821.dtb",
> }
> system.dtb_filename = SysPaths.binary(default_dtbs[self.machine_type])
>