commit | a6e6ae0374a677ce101af6c2b8eaaed62dc70554 | [log] [tgz] |
---|---|---|
author | Alexei Fedorov <Alexei.Fedorov@arm.com> | Mon Apr 06 16:27:54 2020 +0100 |
committer | Alexei Fedorov <Alexei.Fedorov@arm.com> | Mon Apr 06 16:27:54 2020 +0100 |
tree | 92318678d279d68e21ede6d2fce5e4680e7eb4d0 | |
parent | b58e4511153ab2e14b93594ad66aaaeef30b9717 [diff] |
TF-A GICv3 driver: Add extended PPI and SPI range This patch provides support for GICv3.1 extended PPI and SPI range. The option is enabled by setting to 1 and passing `GIC_EXT_INTID` build flag to gicv3.mk makefile. This option defaults to 0 with no extended range support. Change-Id: I7d09086fe22ea531c5df51a8a1efd8928458d394 Signed-off-by: Alexei Fedorov <Alexei.Fedorov@arm.com>