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