diff --git a/hw/arm/Kconfig b/hw/arm/Kconfig
index fdf4464b94..7d5d89e1ac 100644
--- a/hw/arm/Kconfig
+++ b/hw/arm/Kconfig
@@ -291,6 +291,7 @@ config ZYNQ
 
 config ARM_V7M
     bool
+    select PTIMER
 
 config ALLWINNER_A10
     bool