# EFM32GG12B series configuration options
# Copyright (c) 2023 Antmicro <www.antmicro.com>
# SPDX-License-Identifier: Apache-2.0

if SOC_SERIES_EFM32GG12B

config SOC_SERIES
	default "efm32gg12b"

config SOC_PART_NUMBER
	default "EFM32GG12B810F1024GM64" if SOC_PART_NUMBER_EFM32GG12B810F1024GM64

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

source "soc/arm/silabs_exx32/efm32gg12b/Kconfig.defconfig.efm32gg12b"

endif # SOC_SERIES_EFM32GG12B