1# Copyright (c) 2014-2015 Wind River Systems, Inc.
2# Copyright (c) 2016 Cadence Design Systems, Inc.
3# Copyright (c) 2019 Intel Corp.
4# Copyright (c) 2025 Espressif Systems (Shanghai) Co., Ltd.
5# SPDX-License-Identifier: Apache-2.0
6
7config ESP32_SYS_TIMER
8	bool "ESP32 sys-timer support (ESP32Cx series)"
9	depends on SOC_SERIES_ESP32C2 || SOC_SERIES_ESP32C3 || \
10		    (SOC_SERIES_ESP32C6 && !SOC_ESP32C6_LPCORE) || SOC_SERIES_ESP32H2
11	default y
12	select TICKLESS_CAPABLE
13	select TIMER_HAS_64BIT_CYCLE_COUNTER
14	select SYSTEM_TIMER_HAS_DISABLE_SUPPORT if MCUBOOT
15	help
16	  This option enables the system timer driver for the Espressif ESP32Cx
17	  and provides the standard "system clock driver" interface.
18