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