# 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