drivers/clocksource/Kconfig

   1 config CLKSRC_I8253
   2         bool
   3
   4 config CLKEVT_I8253
   5         bool
   6
   7 config I8253_LOCK
   8         bool
   9
  10 config CLKBLD_I8253
  11         def_bool y if CLKSRC_I8253 || CLKEVT_I8253 || I8253_LOCK
  12
  13 config CLKSRC_MMIO
  14         bool
  15
  16 config DW_APB_TIMER
  17         bool
  18
  19 config CLKSRC_DBX500_PRCMU
  20         bool "Clocksource PRCMU Timer"
  21         depends on UX500_SOC_DB5500 || UX500_SOC_DB8500
  22         default y
  23         help
  24           Use the always on PRCMU Timer as clocksource
  25
  26 config 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