1# Copyright (c) 2018 Christian Taedcke
2# Copyright (c) 2018 Marcio Montenegro
3# SPDX-License-Identifier: Apache-2.0
4
5if SOC_SERIES_EFM32HG
6
7config NUM_IRQS
8	# must be >= the highest interrupt number used
9	default 20
10
11endif
12