1# 2# Copyright (c) 2020, Arm Limited. All rights reserved. 3# 4# SPDX-License-Identifier: BSD-3-Clause 5# 6 7# No support for extended PPI and SPI range 8GIC_EXT_INTID := 0 9 10GICV2_SOURCES += drivers/arm/gic/v2/gicv2_main.c \ 11 drivers/arm/gic/v2/gicv2_helpers.c \ 12 drivers/arm/gic/v2/gicdv2_helpers.c 13 14# Set GICv2 build option 15$(eval $(call add_define,GIC_EXT_INTID))