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 ARMADA_370_XP_TIMER
  23         bool
  24
  25 config CLKSRC_DBX500_PRCMU
  26         bool "Clocksource PRCMU Timer"
  27         depends on UX500_SOC_DB8500
  28         default y
  29         help
  30           Use the always on PRCMU Timer as clocksource
  31
  32 config CLKSRC_DBX500_PRCMU_SCHED_CLOCK
  33         bool "Clocksource PRCMU Timer sched_clock"
  34         depends on (CLKSRC_DBX500_PRCMU && !NOMADIK_MTU_SCHED_CLOCK)
  35         default y
  36         help
  37           Use the always on PRCMU Timer as sched_clock
  38
  39 config CLKSRC_ARM_GENERIC
  40         def_bool y if ARM64
  41         help
  42           This option enables support for the ARM generic timer.