config CLKSRC_I8253
	bool

config CLKSRC_MMIO
	bool

config CLKSRC_DBX500_PRCMU
	bool "Clocksource PRCMU Timer"
	depends on UX500_SOC_DB5500 || UX500_SOC_DB8500
	default y if UX500_SOC_DB8500
	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 && \
			!CLKSRC_DB5500_MTIMER_SCHED_CLOCK)
	select HAVE_SCHED_CLOCK
	default y
	help
	  Use the always on PRCMU Timer as sched_clock

config CLKSRC_DB5500_MTIMER
	bool "Clocksource MTIMER"
	depends on UX500_SOC_DB5500
	default y
	help
	  Use the always on MTIMER as clocksource

config CLKSRC_DB5500_MTIMER_SCHED_CLOCK
	bool "Clocksource MTIMER sched_clock"
	depends on (CLKSRC_DB5500_MTIMER && !NOMADIK_MTU_SCHED_CLOCK && \
			!CLKSRC_DBX500_PRCMU_SCHED_CLOCK)
	select HAVE_SCHED_CLOCK
	default y
	help
	  Use the always on PRCMU Timer as sched_clock