1# Copyright (c) 2020 Piotr Mienkowski 2# SPDX-License-Identifier: Apache-2.0 3 4if SOC_SERIES_EFR32BG13P 5 6config NUM_IRQS 7 # must be >= the highest interrupt number used 8 default 47 9 10endif 11
