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 32