Base - VE compatibility - GICv3
If a Base Platform includes an implementation of the GICv3 system registers, it is enabled by default.
The GIC distributor and CPU (core) interface have parameters that allow
configuration of the model to match different implementation options. Use
--list-params to get a full list. Configuration options for the
GIC model must be available under: