1# Counter configuration options
2
3# Copyright (c) 2016 Intel Corporation
4# SPDX-License-Identifier: Apache-2.0
5
6menuconfig COUNTER
7	bool "Counter drivers"
8	help
9	  Enable support for counter and timer.
10
11if COUNTER
12
13config COUNTER_INIT_PRIORITY
14	int "Counter init priority"
15	default 60
16	help
17	  Counter driver device initialization priority.
18
19config COUNTER_SHELL
20	bool "Counter shell"
21	depends on SHELL
22	help
23	  Enable Shell Commands for Counter and Timer
24
25module = COUNTER
26module-str = counter
27source "subsys/logging/Kconfig.template.log_config"
28
29source "drivers/counter/Kconfig.ambiq"
30
31source "drivers/counter/Kconfig.gecko"
32
33source "drivers/counter/Kconfig.tmr_cmsdk_apb"
34
35source "drivers/counter/Kconfig.dtmr_cmsdk_apb"
36
37source "drivers/counter/Kconfig.mcux_rtc"
38
39source "drivers/counter/Kconfig.mcux_lpc_rtc"
40
41source "drivers/counter/Kconfig.nrfx"
42
43source "drivers/counter/Kconfig.imx_epit"
44
45source "drivers/counter/Kconfig.stm32_rtc"
46
47source "drivers/counter/Kconfig.stm32_timer"
48
49source "drivers/counter/Kconfig.sam"
50
51source "drivers/counter/Kconfig.sam0"
52
53source "drivers/counter/Kconfig.ace"
54
55source "drivers/counter/Kconfig.cmos"
56
57source "drivers/counter/Kconfig.mcux_gpt"
58
59source "drivers/counter/Kconfig.mcux_qtmr"
60
61source "drivers/counter/Kconfig.mcux_snvs"
62
63source "drivers/counter/Kconfig.mcux_tpm"
64
65source "drivers/counter/Kconfig.xec"
66
67source "drivers/counter/Kconfig.mcux_lptmr"
68
69source "drivers/counter/Kconfig.maxim_ds3231"
70
71source "drivers/counter/Kconfig.native_posix"
72
73source "drivers/counter/Kconfig.nxp_pit"
74
75source "drivers/counter/Kconfig.xlnx"
76
77source "drivers/counter/Kconfig.esp32_tmr"
78
79source "drivers/counter/Kconfig.esp32_rtc"
80
81source "drivers/counter/Kconfig.smartbond_timer"
82
83source "drivers/counter/Kconfig.mcp7940n"
84
85source "drivers/counter/Kconfig.mcux_ctimer"
86
87source "drivers/counter/Kconfig.ifx_cat1"
88
89source "drivers/counter/Kconfig.andes_atcpit100"
90
91source "drivers/counter/Kconfig.nxp_s32"
92
93source "drivers/counter/Kconfig.gd32"
94
95source "drivers/counter/Kconfig.dw"
96
97source "drivers/counter/Kconfig.rpi_pico"
98
99source "drivers/counter/Kconfig.nxp_mrt"
100
101endif # COUNTER
102