On 03/08/2023 16:40, Luca Fancellu wrote:
>
>
> Introduce Kconfig GICV2 to be able to compile the GICv2 driver only
> when needed, the option is active by default.
>
> Introduce Kconfig VGICV2 that compiles the Generic Interrupt
> Controller v2 emulation for domains, it is required only when using
> GICv2 driver, otherwise using the GICv3 driver it is optional and can
> be deselected if the user doesn't want to offer the v2 emulation to
> domains or maybe its GICv3 hardware can't offer the GICv2 compatible
> mode.
>
> Signed-off-by: Luca Fancellu <[email protected]>
Reviewed-by: Michal Orzel <[email protected]>
~Michal
