Re: [RFC PATCH] arm/gicv2: make GICv2 driver and vGICv2 optional

[Julien Grall <julien@xxxxxxx>]

Hi,

On 03/08/2023 09:39, Luca Fancellu wrote:
> I would like to ask if you see this one going forwards or not (as it is), 
> because I have a set of patches to isolate and Kconfig-out
> the dom0less code, that is depending on this one (for a small bit) and before 
> sending them I need to understand if this one can
> see the light or not.
In principle, I have no issues with trying to disable some part of Xen 
code. I will still need to look at each one to confirm I am happy with 
the changes.
For this case, I will have a look in a bit.

Cheers,

--
Julien Grall