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	select TICKLESS_CAPABLE
7	select TIMER_HAS_64BIT_CYCLE_COUNTER
8	select SYSTEM_CLOCK_LOCK_FREE_COUNT
9	help
10	  MediaTek MT81xx Audio DSPs have a 13 Mhz wall clock timer
11	  for system time that is independent of CPU speed.
12