diff --git a/arch/arm/Kconfig b/arch/arm/Kconfig
index 72ad724c67ae94cd6682ec15f3834966dd7028c0..0d72535ed01dbbc37f9b558d3752cbb865a76de0 100644
--- a/arch/arm/Kconfig
+++ b/arch/arm/Kconfig
@@ -819,6 +819,7 @@ config ARCH_VIRT
 	bool "Dummy Virtual Machine" if ARCH_MULTI_V7
 	select ARM_AMBA
 	select ARM_GIC
+	select ARM_GIC_V3
 	select ARM_PSCI
 	select HAVE_ARM_ARCH_TIMER