blob: 49996bb51257ac485d3d2687247ad4e33e1f23d8 [file] [log] [blame]
Alexei Fedorovcaa18022020-07-14 10:47:25 +01001#
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))