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 DW_APB_TIMER_OF
  20         bool
  21
  22 config CLKSRC_DBX500_PRCMU
  23         bool "Clocksource PRCMU Timer"
  24         depends on UX500_SOC_DB8500
  25         default y
  26         help
  27           Use the always on PRCMU Timer as clocksource
  28
  29 config CLKSRC_DBX500_PRCMU_SCHED_CLOCK
  30         bool "Clocksource PRCMU Timer sched_clock"
  31         depends on (CLKSRC_DBX500_PRCMU && !NOMADIK_MTU_SCHED_CLOCK)
  32         default y
  33         help
  34           Use the always on PRCMU Timer as sched_clock