1# EFR32FG13P series configuration options
2
3# Copyright (c) 2018 Christian Taedcke
4# SPDX-License-Identifier: Apache-2.0
5
6if SOC_SERIES_EFR32FG13P
7
8config SOC_SERIES
9	default "efr32fg13p"
10
11config SOC_PART_NUMBER
12	default "EFR32FG13P233F512GM48" if SOC_PART_NUMBER_EFR32FG13P233F512GM48
13
14config NUM_IRQS
15	# must be >= the highest interrupt number used
16	default 45
17
18endif # SOC_SERIES_EFR32FG13P
19