# EFM32WG series configuration options

# Copyright (c) 2018 Diego Sueiro
# SPDX-License-Identifier: Apache-2.0

if SOC_SERIES_EFR32MG12P

config SOC_SERIES
	default "efr32mg12p"

config SOC_PART_NUMBER
	default "EFR32MG12P332F1024GL125" if SOC_PART_NUMBER_EFR32MG12P332F1024GL125
	default "EFR32MG12P432F1024GL125" if SOC_PART_NUMBER_EFR32MG12P432F1024GL125
	default "EFR32MG12P433F1024GM68" if SOC_PART_NUMBER_EFR32MG12P433F1024GM68

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

endif # SOC_SERIES_EFR32MG12P