ARM_GICV3 is not restricted to TCG and can be used on HVF.
Philippe Mathieu-Daudé (2):
hw/intc: Remove TCG dependency on ARM_GICV3
hw/intc: Have ARM_GIC select ARM_GICV3 when KVM is not available
hw/intc/Kconfig | 6 +++---
hw/intc/meson.build | 4 ++--
2 files changed, 5 insertions(+), 5 deletions(-)
--
2.47.1