# Kconfig - EFM32PG12B series configuration options # # Copyright (c) 2018 Christian Taedcke # # SPDX-License-Identifier: Apache-2.0 # if SOC_SERIES_EFM32PG12B config SOC_SERIES default "efm32pg12b" config NUM_IRQS int # must be >= the highest interrupt number used default 50 source "soc/arm/silabs_exx32/efm32pg12b/Kconfig.defconfig.e*" endif # SOC_SERIES_EFM32PG12B