| # 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 | |
| config SOC | |
| string | |
| default "hifi_mini" | |
| config IRQ_OFFLOAD_INTNUM | |
| default 13 | |
| endif |