1# Copyright (c) 2020 Intel Corporation
2# SPDX-License-Identifier: Apache-2.0
3
4choice
5 prompt "Intel CAVS SoC Selection"
6 depends on SOC_SERIES_INTEL_ADSP_CAVS
7
8config SOC_INTEL_CAVS_V25
9 bool "Intel Tiger Lake"
10 select XTENSA_WAITI_BUG
11 select SCHED_IPI_SUPPORTED
12
13endchoice
14
