1 files changed, 2 insertions, 1 deletions

diff --git a/arch/arm/Kconfig b/arch/arm/Kconfig
index 9790c5d9abd9..25a6b53436fc 100644
--- a/arch/arm/Kconfig
+++ b/arch/arm/Kconfig
@@ -931,9 +931,10 @@ endmenu
 
 config ARCH_VIRT
         bool "Dummy Virtual Machine" if ARCH_MULTI_V7
+        select ARM_AMBA
         select ARM_GIC
-        select HAVE_ARM_ARCH_TIMER
         select ARM_PSCI
+        select HAVE_ARM_ARCH_TIMER
 
 #
 # This is sorted alphabetically by mach-* pathname.  However, plat-*