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