# Counter configuration options

# Copyright (c) 2016 Intel Corporation
# SPDX-License-Identifier: Apache-2.0

menuconfig COUNTER
	bool "Counter Drivers"
	help
	  Enable support for counter and timer.

if COUNTER

config COUNTER_INIT_PRIORITY
	int "Counter init priority"
	default 60
	help
	  Counter driver device initialization priority.

module = COUNTER
module-str = counter
source "subsys/logging/Kconfig.template.log_config"

source "drivers/counter/Kconfig.gecko"

source "drivers/counter/Kconfig.tmr_cmsdk_apb"

source "drivers/counter/Kconfig.dtmr_cmsdk_apb"

source "drivers/counter/Kconfig.mcux_rtc"

source "drivers/counter/Kconfig.mcux_lpc_rtc"

source "drivers/counter/Kconfig.nrfx"

source "drivers/counter/Kconfig.imx_epit"

source "drivers/counter/Kconfig.stm32_rtc"

source "drivers/counter/Kconfig.stm32_timer"

source "drivers/counter/Kconfig.sam"

source "drivers/counter/Kconfig.sam0"

source "drivers/counter/Kconfig.ace"

source "drivers/counter/Kconfig.cmos"

source "drivers/counter/Kconfig.mcux_gpt"

source "drivers/counter/Kconfig.mcux_qtmr"

source "drivers/counter/Kconfig.mcux_snvs"

source "drivers/counter/Kconfig.xec"

source "drivers/counter/Kconfig.mcux_lptmr"

source "drivers/counter/Kconfig.maxim_ds3231"

source "drivers/counter/Kconfig.native_posix"

source "drivers/counter/Kconfig.mcux_pit"

source "drivers/counter/Kconfig.xlnx"

source "drivers/counter/Kconfig.esp32_tmr"

source "drivers/counter/Kconfig.esp32_rtc"

source "drivers/counter/Kconfig.mcp7940n"

source "drivers/counter/Kconfig.mcux_ctimer"

source "drivers/counter/Kconfig.andes_atcpit100"

endif # COUNTER