diff options
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/user-guide.md | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/docs/user-guide.md b/docs/user-guide.md index 5165000d..21e1f999 100644 --- a/docs/user-guide.md +++ b/docs/user-guide.md @@ -641,6 +641,7 @@ map is explained in the [Firmware Design]. if `FVP_CLUSTER_COUNT` > 2. * `FVP_USE_GIC_DRIVER` : Selects the GIC driver to be built. Options: + - `FVP_GIC600` : The GIC600 implementation of GICv3 is selected - `FVP_GICV2` : The GICv2 only driver is selected - `FVP_GICV3` : The GICv3 only driver is selected (default option) - `FVP_GICV3_LEGACY`: The Legacy GICv3 driver is selected (deprecated) |