blob: 1c2cd6be7f44f46d36dd5cfde5f133900d7d3d7c (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
|
#
# 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_TIMEOUT
int "Timer interval (microseconds)"
default 10000
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
|
