diff options
| author | Alexei Fedorov <Alexei.Fedorov@arm.com> | 2020-04-06 19:00:35 +0100 |
|---|---|---|
| committer | Alexei Fedorov <Alexei.Fedorov@arm.com> | 2020-04-07 11:17:58 +0100 |
| commit | 5875f2665d7efd7fe3e71e53a7c83dafc9717315 (patch) | |
| tree | 3627e2538bedf776fef045e3342a9194d48735c1 /docs/getting_started | |
| parent | 8f3ad7661400c1cf23276f8ffff905102c54329a (diff) | |
| download | platform_external_arm-trusted-firmware-5875f2665d7efd7fe3e71e53a7c83dafc9717315.tar.gz platform_external_arm-trusted-firmware-5875f2665d7efd7fe3e71e53a7c83dafc9717315.tar.bz2 platform_external_arm-trusted-firmware-5875f2665d7efd7fe3e71e53a7c83dafc9717315.zip | |
TF-A: Add GICv4 extension for GIC driver
This patch adds support for GICv4 extension.
New `GIC_ENABLE_V4_EXTN` option passed to gicv3.mk makefile
was added, and enables GICv4 related changes when set to 1.
This option defaults to 0.
Change-Id: I30ebe1b7a98d3a54863900f37eda4589c707a288
Signed-off-by: Alexei Fedorov <Alexei.Fedorov@arm.com>
Diffstat (limited to 'docs/getting_started')
| -rw-r--r-- | docs/getting_started/build-options.rst | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/docs/getting_started/build-options.rst b/docs/getting_started/build-options.rst index 38845ff0b..778b49c20 100644 --- a/docs/getting_started/build-options.rst +++ b/docs/getting_started/build-options.rst @@ -693,6 +693,9 @@ makefile: functions. This is required for FVP platform which need to simulate GIC save and restore during SYSTEM_SUSPEND without powering down GIC. Default is 0. +- ``GIC_ENABLE_V4_EXTN`` : Enables GICv4 related changes in GICv3 driver. + This option defaults to 0. + - ``GIC_EXT_INTID``: When set to ``1``, GICv3 driver will support extended PPI (1056-1119) and SPI (4096-5119) range. This option defaults to 0. |