1# Copyright (c) 2012-2013, 2017-2018 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 --- 168 unchanged lines hidden (view full) --- 177 maint_int = Param.ArmInterruptPin( 178 "HV maintenance interrupt." 179 "ARM strongly recommends that maintenance interrupts " 180 "are configured to use INTID 25 (PPI Interrupt).") 181 182 cpu_max = Param.Unsigned(256, 183 "Maximum number of PE. This is affecting the maximum number of " 184 "redistributors") |
185 186 gicv4 = Param.Bool(True, "GICv4 extension available") |