11 def_bool y if CLKSRC_I8253 || CLKEVT_I8253 || I8253_LOCK
19 config DW_APB_TIMER_OF
22 config ARMADA_370_XP_TIMER
28 config CLKSRC_DBX500_PRCMU
29 bool "Clocksource PRCMU Timer"
30 depends on UX500_SOC_DB8500
33 Use the always on PRCMU Timer as clocksource
35 config CLKSRC_DBX500_PRCMU_SCHED_CLOCK
36 bool "Clocksource PRCMU Timer sched_clock"
37 depends on (CLKSRC_DBX500_PRCMU && !NOMADIK_MTU_SCHED_CLOCK)
40 Use the always on PRCMU Timer as sched_clock
42 config CLKSRC_ARM_GENERIC
45 This option enables support for the ARM generic timer.