# EFR32FG13P series configuration options

# Copyright (c) 2018 Christian Taedcke
# SPDX-License-Identifier: Apache-2.0

if SOC_SERIES_EFR32FG13P

config SOC_SERIES
	default "efr32fg13p"

config SOC_PART_NUMBER
	default "EFR32FG13P233F512GM48" if SOC_PART_NUMBER_EFR32FG13P233F512GM48

config NUM_IRQS
	# must be >= the highest interrupt number used
	default 45

endif # SOC_SERIES_EFR32FG13P