1config CLKSRC_I8253
 2	bool
 3
 4config CLKEVT_I8253
 5	bool
 6
 7config I8253_LOCK
 8	bool
 9
10config CLKBLD_I8253
11	def_bool y if CLKSRC_I8253 || CLKEVT_I8253 || I8253_LOCK
12
13config CLKSRC_MMIO
14	bool
15
16config DW_APB_TIMER
17	bool
18
19config CLKSRC_DBX500_PRCMU
20	bool "Clocksource PRCMU Timer"
21	depends on UX500_SOC_DB8500
22	default y
23	help
24	  Use the always on PRCMU Timer as clocksource
25
26config CLKSRC_DBX500_PRCMU_SCHED_CLOCK
27	bool "Clocksource PRCMU Timer sched_clock"
28	depends on (CLKSRC_DBX500_PRCMU && !NOMADIK_MTU_SCHED_CLOCK)
29	default y
30	help
31	  Use the always on PRCMU Timer as sched_clock

 1config CLKSRC_I8253
 2	bool
 3
 4config CLKEVT_I8253
 5	bool
 6
 7config I8253_LOCK
 8	bool
 9
10config CLKBLD_I8253
11	def_bool y if CLKSRC_I8253 || CLKEVT_I8253 || I8253_LOCK
12
13config CLKSRC_MMIO
14	bool
15
16config DW_APB_TIMER
17	bool