1# Copyright 2023 The ChromiumOS Authors
2# SPDX-License-Identifier: Apache-2.0
3
4config MTK_ADSP_TIMER
5	bool "MediaTek Audio DSP timer"
6	depends on SOC_FAMILY_MTK
7	select TICKLESS_CAPABLE
8	select TIMER_HAS_64BIT_CYCLE_COUNTER
9	select SYSTEM_CLOCK_LOCK_FREE_COUNT
10	help
11	  MediaTek MT81xx Audio DSPs have a 13 Mhz wall clock timer
12	  for system time that is independent of CPU speed.
13