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) | |
default y | |
help | |
Use the always on PRCMU Timer as sched_clock |