X-Git-Url: http://pileus.org/git/?a=blobdiff_plain;f=drivers%2Fclocksource%2FKconfig;h=999d6a03e43689c4d82a14f80034aed452c95f38;hb=cf5e15fbd72c13977720aa15b7b7e00e1d8fd8f2;hp=34e9c4f88926c0dba00bbef5bf1c0c56b569996d;hpb=2cf4ce7c2a07782c3f4d899b380a78522bca3238;p=~andy%2Flinux

diff --git a/drivers/clocksource/Kconfig b/drivers/clocksource/Kconfig
index 34e9c4f8892..999d6a03e43 100644
--- a/drivers/clocksource/Kconfig
+++ b/drivers/clocksource/Kconfig
@@ -15,3 +15,18 @@ config CLKSRC_MMIO
 
 config DW_APB_TIMER
 	bool
+
+config CLKSRC_DBX500_PRCMU
+	bool "Clocksource PRCMU Timer"
+	depends on UX500_SOC_DB5500 || UX500_SOC_DB8500
+	default y
+	help
+	  Use the always on PRCMU Timer as clocksource
+
+config CLKSRC_DBX500_PRCMU_SCHED_CLOCK
+	bool "Clocksource PRCMU Timer sched_clock"
+	depends on (CLKSRC_DBX500_PRCMU && !NOMADIK_MTU_SCHED_CLOCK)
+	select HAVE_SCHED_CLOCK
+	default y
+	help
+	  Use the always on PRCMU Timer as sched_clock