kernel/fiasco/src/kern/arm/bsp/tegra2/Kconfig

   1 # PF: TEGRA2
   2 # PFDESCR: NVIDIA Tegra 2xx platform
   3 # PFSELECT: CAN_ARM_CPU_CORTEX_A9 CAN_ARM_CACHE_L2CXX0
   4 # PFDEPENDS: ARM
   5
   6 choice
   7         prompt "Platform Timer"
   8         default PF_TEGRA_TIMER_MP
   9
  10 config PF_TEGRA_TIMER_MP
  11         bool "MP timer"
  12         help
  13           ARM local-core multi-processor timer.
  14
  15 config PF_TEGRA_TIMER_TMR
  16         bool "TMR timer"
  17         help
  18           Single broadcasting timer.
  19
  20 endchoice