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