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