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 DW_APB_TIMER_OF 20 bool 21 22config ARMADA_370_XP_TIMER 23 bool 24 25config CLKSRC_DBX500_PRCMU 26 bool "Clocksource PRCMU Timer" 27 depends on UX500_SOC_DB8500 28 default y 29 help 30 Use the always on PRCMU Timer as clocksource 31 32config CLKSRC_DBX500_PRCMU_SCHED_CLOCK 33 bool "Clocksource PRCMU Timer sched_clock" 34 depends on (CLKSRC_DBX500_PRCMU && !NOMADIK_MTU_SCHED_CLOCK) 35 default y 36 help 37 Use the always on PRCMU Timer as sched_clock 38 39config CLKSRC_ARM_GENERIC 40 def_bool y if ARM64 41 help 42 This option enables support for the ARM generic timer. 43