| # Copyright 2023 The ChromiumOS Authors | |
| # SPDX-License-Identifier: Apache-2.0 | |
| config MTK_ADSP_TIMER | |
| bool "MediaTek Audio DSP timer" | |
| select TICKLESS_CAPABLE | |
| select TIMER_HAS_64BIT_CYCLE_COUNTER | |
| select SYSTEM_CLOCK_LOCK_FREE_COUNT | |
| help | |
| MediaTek MT81xx Audio DSPs have a 13 Mhz wall clock timer | |
| for system time that is independent of CPU speed. |