incubator-nuttx/configs/dk-tm4c129x/Kconfig

76 lines
1.4 KiB
Plaintext
Raw Normal View History

#
# For a description of the syntax of this configuration file,
# see misc/tools/kconfig-language.txt.
#
if ARCH_BOARD_DK_TM4C129X
if TIMER && TIVA_TIMER32_PERIODIC
config DK_TM4C129X_TIMER
bool
default n
choice
prompt "Timer driver selection"
default DK_TM4C129X_TIMER_NONE
config DK_TM4C129X_TIMER_NONE
bool "None"
config DK_TM4C129X_TIMER0
bool "Timer 0"
depends on TIVA_TIMER0
select DK_TM4C129X_TIMER
config DK_TM4C129X_TIMER1
bool "Timer 1"
depends on TIVA_TIMER1
select DK_TM4C129X_TIMER
config DK_TM4C129X_TIMER2
bool "Timer 2"
depends on TIVA_TIMER2
select DK_TM4C129X_TIMER
config DK_TM4C129X_TIMER3
bool "Timer 3"
depends on TIVA_TIMER3
select DK_TM4C129X_TIMER
config DK_TM4C129X_TIMER4
bool "Timer 4"
depends on TIVA_TIMER4
select DK_TM4C129X_TIMER
config DK_TM4C129X_TIMER5
bool "Timer 5"
depends on TIVA_TIMER5
select DK_TM4C129X_TIMER
config DK_TM4C129X_TIMER6
bool "Timer 6"
depends on TIVA_TIMER6
select DK_TM4C129X_TIMER
config DK_TM4C129X_TIMER7
bool "Timer 7"
depends on TIVA_TIMER7
select DK_TM4C129X_TIMER
endchoice # Timer driver selection
if DK_TM4C129X_TIMER
config DK_TM4C129X_TIMER_DEVNAME
string "Timer device name"
default "/dev/timer0"
config DK_TM4C129X_TIMER_ALTCLK
bool "Use alternate clock source"
default n
depends on EXPERIMENTAL
endif # DK_TM4C129X_TIMER
endif # TIVA_TIMER32_PERIODIC
endif # ARCH_BOARD_DK_TM4C129X