| # Kconfig - XTENSA board configuration | |
| # | |
| # Copyright (c) 2016 Open-RnD Sp. z o.o. | |
| # Copyright (c) 2016 Cadence Design Systems, Inc. | |
| # SPDX-License-Identifier: Apache-2.0 | |
| if SOC_HIFI_MINI_4SWIRQ | |
| config SOC | |
| string | |
| default hifi_mini_4swIrq | |
| config IRQ_OFFLOAD_INTNUM | |
| default 1 | |
| endif |