diff options
Diffstat (limited to 'docs')
-rw-r--r-- | docs/user-guide.md | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/docs/user-guide.md b/docs/user-guide.md index 6050831f..484ffebd 100644 --- a/docs/user-guide.md +++ b/docs/user-guide.md @@ -158,6 +158,15 @@ performed. * `V`: Verbose build. If assigned anything other than 0, the build commands are printed. Default is 0 +* `FVP_GIC_ARCH`: Choice of ARM GIC architecture version used by the FVP port + for implementing the platform GIC API. This API is used by the interrupt + management framework. Default is 2 i.e. version 2.0 + +* `IMF_READ_INTERRUPT_ID`: Boolean flag used by the interrupt management + framework to enable passing of the interrupt id to its handler. The id is + read using a platform GIC API. `INTR_ID_UNAVAILABLE` is passed instead if + this option set to 0. Default is 0. + ### Creating a Firmware Image Package FIPs are automatically created as part of the build instructions described in |