| # Copyright (c) 2023 Antmicro <www.antmicro.com> | |
| # SPDX-License-Identifier: Apache-2.0 | |
| if SOC_SERIES_EFM32GG12B | |
| config NUM_IRQS | |
| # must be >= the highest interrupt number used | |
| default 68 | |
| config GPIO_GECKO | |
| default y | |
| depends on GPIO || LOG_BACKEND_SWO | |
| endif |