# 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 |