2015-02-12 00:30:38 +01:00
|
|
|
#
|
|
|
|
|
# For a description of the syntax of this configuration file,
|
2015-06-28 16:08:57 +02:00
|
|
|
# see the file kconfig-language.txt in the NuttX tools repository.
|
2015-02-12 00:30:38 +01:00
|
|
|
#
|
|
|
|
|
|
|
|
|
|
if ARCH_BOARD_TM4C1294_LAUNCHPAD
|
|
|
|
|
if TIMER && TIVA_TIMER32_PERIODIC
|
|
|
|
|
|
|
|
|
|
config TM4C1294_LAUNCHPAD_TIMER
|
|
|
|
|
bool
|
|
|
|
|
default n
|
|
|
|
|
|
|
|
|
|
choice
|
|
|
|
|
prompt "Timer driver selection"
|
|
|
|
|
default TM4C1294_LAUNCHPAD_TIMER_NONE
|
|
|
|
|
|
|
|
|
|
config TM4C1294_LAUNCHPAD_TIMER_NONE
|
|
|
|
|
bool "None"
|
|
|
|
|
|
|
|
|
|
config TM4C1294_LAUNCHPAD_TIMER0
|
|
|
|
|
bool "Timer 0"
|
|
|
|
|
depends on TIVA_TIMER0
|
|
|
|
|
select TM4C1294_LAUNCHPAD_TIMER
|
|
|
|
|
|
|
|
|
|
config TM4C1294_LAUNCHPAD_TIMER1
|
|
|
|
|
bool "Timer 1"
|
|
|
|
|
depends on TIVA_TIMER1
|
|
|
|
|
select TM4C1294_LAUNCHPAD_TIMER
|
|
|
|
|
|
|
|
|
|
config TM4C1294_LAUNCHPAD_TIMER2
|
|
|
|
|
bool "Timer 2"
|
|
|
|
|
depends on TIVA_TIMER2
|
|
|
|
|
select TM4C1294_LAUNCHPAD_TIMER
|
|
|
|
|
|
|
|
|
|
config TM4C1294_LAUNCHPAD_TIMER3
|
|
|
|
|
bool "Timer 3"
|
|
|
|
|
depends on TIVA_TIMER3
|
|
|
|
|
select TM4C1294_LAUNCHPAD_TIMER
|
|
|
|
|
|
|
|
|
|
config TM4C1294_LAUNCHPAD_TIMER4
|
|
|
|
|
bool "Timer 4"
|
|
|
|
|
depends on TIVA_TIMER4
|
|
|
|
|
select TM4C1294_LAUNCHPAD_TIMER
|
|
|
|
|
|
|
|
|
|
config TM4C1294_LAUNCHPAD_TIMER5
|
|
|
|
|
bool "Timer 5"
|
|
|
|
|
depends on TIVA_TIMER5
|
|
|
|
|
select TM4C1294_LAUNCHPAD_TIMER
|
|
|
|
|
|
|
|
|
|
config TM4C1294_LAUNCHPAD_TIMER6
|
|
|
|
|
bool "Timer 6"
|
|
|
|
|
depends on TIVA_TIMER6
|
|
|
|
|
select TM4C1294_LAUNCHPAD_TIMER
|
|
|
|
|
|
|
|
|
|
config TM4C1294_LAUNCHPAD_TIMER7
|
|
|
|
|
bool "Timer 7"
|
|
|
|
|
depends on TIVA_TIMER7
|
|
|
|
|
select TM4C1294_LAUNCHPAD_TIMER
|
|
|
|
|
|
|
|
|
|
endchoice # Timer driver selection
|
|
|
|
|
|
|
|
|
|
if TM4C1294_LAUNCHPAD_TIMER
|
|
|
|
|
|
|
|
|
|
config TM4C1294_LAUNCHPAD_TIMER_DEVNAME
|
|
|
|
|
string "Timer device name"
|
|
|
|
|
default "/dev/timer0"
|
|
|
|
|
|
|
|
|
|
config TM4C1294_LAUNCHPAD_TIMER_ALTCLK
|
|
|
|
|
bool "Use alternate clock source"
|
|
|
|
|
default n
|
|
|
|
|
depends on EXPERIMENTAL
|
|
|
|
|
|
|
|
|
|
endif # TM4C1294_LAUNCHPAD_TIMER
|
|
|
|
|
endif # TIVA_TIMER32_PERIODIC
|
|
|
|
|
endif # ARCH_BOARD_TM4C1294_LAUNCHPAD
|
