1# -*- mode:python -*-
2
3# Copyright (c) 2015 ARM Limited
4# All rights reserved.
5#
6# The license below extends only to copyright in the software and shall
7# not be construed as granting a license to any other intellectual
8# property including but not limited to intellectual property relating

--- 34 unchanged lines hidden (view full) ---

43 Return()
44
45import platform
46host_isa = platform.machine()
47
48SimObject('KvmGic.py')
49Source('gic.cc')
50
51if host_isa == "armv7l":
52 SimObject('ArmKvmCPU.py')
53 Source('arm_cpu.cc')