summaryrefslogtreecommitdiff
path: root/payloads/libpayload/drivers/timer/Kconfig
blob: b3ab6ecb704671824e8085cebea5f7527ec033b1 (plain)
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
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
##
## This file is part of the coreboot project.
##
## This program is free software; you can redistribute it and/or modify
## it under the terms of the GNU General Public License as published by
## the Free Software Foundation; version 2 of the License.
##
## This program is distributed in the hope that it will be useful,
## but WITHOUT ANY WARRANTY; without even the implied warranty of
## MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
## GNU General Public License for more details.

config TIMER_RDTSC
	bool
	default y
	depends on ARCH_X86

choice
	prompt "Timer driver"
	default TIMER_NONE
	depends on !ARCH_X86

config TIMER_NONE
	bool "None"
	help
	  The timer driver is provided by the payload itself.

config TIMER_MCT
	bool "Exynos MCT"

config TIMER_TEGRA_1US
	bool "Tegra 1us"

config TIMER_IPQ806X
	bool "Timer for ipq806x platforms"

config TIMER_ARMADA38X
        bool "Timer for armada38x platforms"
	help
	  This is the timer driver for marvell armada38x
	  platforms.

config TIMER_IPQ40XX
	bool "Timer for ipq40xx platforms"
	help
	  This is the timer driver for QCA IPQ40xx based
	  platforms.

config TIMER_RK
	bool "Timer for Rockchip"

config TIMER_BG4CD
	bool "Marvell BG4CD"

config TIMER_CYGNUS
	bool "Timer for Cygnus"

config TIMER_IMG_PISTACHIO
	bool "Timer for IMG Pistachio"

config TIMER_MTK
	bool "Timer for MediaTek MT8173"

config TIMER_MVMAP2315
	bool "Timer for Marvell MVMAP2315"

endchoice

config TIMER_MCT_HZ
	int "Exynos MCT frequency"
	depends on TIMER_MCT
	default 24000000

config TIMER_MCT_ADDRESS
	hex "Exynos MCT base address"
	depends on TIMER_MCT
	default 0x101c0000

config TIMER_RK_ADDRESS
	hex "Rockchip timer base address"
	depends on TIMER_RK
	default 0xff810020

config TIMER_TEGRA_1US_ADDRESS
	hex "Tegra u1s timer base address"
	depends on TIMER_TEGRA_1US
	default 0x60005010

config IPQ806X_TIMER_FREQ
	int "Hardware timer frequency"
	default 32000
	depends on TIMER_IPQ806X
	help
	  IPQ hardware presently provides a single timer running at 32KHz, a
	  finer granulariry timer is available but is not yet enabled.

config IPQ806X_TIMER_REG
	hex "Timer register address"
	default 0x0200A008
	depends on TIMER_IPQ806X
	help
	  Address of the register to read a free running timer value.

config ARMADA38X_TIMER_FREQ
        int "Hardware timer frequency"
        depends on TIMER_ARMADA38X
        default 25000000

config ARMADA38X_TIMER_REG
        hex "Timer register address"
        default 0xF1020314
        depends on TIMER_ARMADA38X

config MVMAP2315_TIMER_FREQ
	int "Hardware timer frequency"
	depends on TIMER_MVMAP2315
	default 1000000

config MVMAP2315_TIMER_REG
	hex "Timer register address"
	depends on TIMER_MVMAP2315
	default 0xE1020004

config IPROC_PERIPH_GLB_TIM_REG_BASE
	hex "Cygnus timer base address"
	depends on TIMER_CYGNUS
	default 0x19020200

config TIMER_MTK_HZ
	int "MediaTek GPT frequency"
	depends on TIMER_MTK
	default 13000000
	help
	  Clock frequency of MediaTek General Purpose Timer.

config TIMER_MTK_ADDRESS
	hex "MTK GPT register address"
	depends on TIMER_MTK
	default 0x10008048
	help
	  Address of GPT4's counter register to read the FREERUN-mode timer value.