| # EFM32JG12B series configuration options | |
| # Copyright (c) 2019 Lemonbeat GmbH | |
| # SPDX-License-Identifier: Apache-2.0 | |
| if SOC_SERIES_EFM32JG12B | |
| config SOC_SERIES | |
| default "efm32jg12b" | |
| config SOC_PART_NUMBER | |
| default "EFM32JG12B500F1024GL125" if SOC_PART_NUMBER_EFM32JG12B500F1024GL125 | |
| config NUM_IRQS | |
| # must be >= the highest interrupt number used | |
| default 50 | |
| endif # SOC_SERIES_EFM32JG12B |