| # EFR32FG1P series configuration options | |
| # Copyright (c) 2018 Christian Taedcke | |
| # SPDX-License-Identifier: Apache-2.0 | |
| if SOC_SERIES_EFR32FG1P | |
| config SOC_SERIES | |
| default "efr32fg1p" | |
| config SOC_PART_NUMBER | |
| default "EFR32FG1P133F256GM48" if SOC_PART_NUMBER_EFR32FG1P133F256GM48 | |
| config NUM_IRQS | |
| # must be >= the highest interrupt number used | |
| default 33 | |
| endif # SOC_SERIES_EFR32FG1P |