1# Copyright (c) 2014-2015 Wind River Systems, Inc.
2# Copyright (c) 2016 Cadence Design Systems, Inc.
3# Copyright (c) 2019 Intel Corp.
4# SPDX-License-Identifier: Apache-2.0
5
6# Keep this option as an alias to INTEL_ADSP_TIMER because
7# SoF is still referencing this symbol. The reason is the
8# symbiotic relationship between these two projects, that from
9# Zephyr's perspective is the framework and also the application.
10# Once it gets merged, we have to update SoF to use INTEL_ADSP_TIMER
11# option and remove it.
12config CAVS_TIMER
13	bool
14	help
15	  Temporary alias to INTEL_ADSP_TIMER
16
17config INTEL_ADSP_TIMER
18	bool "Intel Audio DSP timer"
19	default y
20	depends on DT_HAS_INTEL_ADSP_TIMER_ENABLED
21	select CAVS_TIMER
22	select TICKLESS_CAPABLE
23	select TIMER_HAS_64BIT_CYCLE_COUNTER
24	select SYSTEM_CLOCK_LOCK_FREE_COUNT
25	help
26	  The DSP wall clock timer is a timer driven directly by
27	  external oscillator and is external to the CPU core(s).
28	  It is not as fast as the internal core clock, but provides
29	  a common and synchronized counter for all CPU cores (which
30	  is useful for SMP).
31