1# Copyright (c) 2020 Rafael Dias Menezes <rdmeneze@gmail.com>
2# SPDX-License-Identifier: Apache-2.0
3
4if SOC_SERIES_EFM32PG1B
5
6config NUM_IRQS
7	# must be >= the highest interrupt number used
8	default 34
9
10endif
11