| config CLKSRC_I8253 | |
| bool | |
| config CLKEVT_I8253 | |
| bool | |
| config I8253_LOCK | |
| bool | |
| config CLKBLD_I8253 | |
| def_bool y if CLKSRC_I8253 || CLKEVT_I8253 || I8253_LOCK | |
| config CLKSRC_MMIO | |
| bool | |
| config DW_APB_TIMER | |
| bool | |
| config CLKSRC_DBX500_PRCMU | |
| bool "Clocksource PRCMU Timer" | |
| depends on UX500_SOC_DB5500 || UX500_SOC_DB8500 | |
| default y | |
| help | |
| Use the always on PRCMU Timer as clocksource | |
| config CLKSRC_DBX500_PRCMU_SCHED_CLOCK | |
| bool "Clocksource PRCMU Timer sched_clock" | |
| depends on (CLKSRC_DBX500_PRCMU && !NOMADIK_MTU_SCHED_CLOCK) | |
| select HAVE_SCHED_CLOCK | |
| default y | |
| help | |
| Use the always on PRCMU Timer as sched_clock |