1# Copyright (c) 2023 Antmicro <www.antmicro.com>
2# SPDX-License-Identifier: Apache-2.0
3
4if SOC_SERIES_EFM32GG12B
5
6config NUM_IRQS
7 # must be >= the highest interrupt number used
8 default 68
9
10config GPIO_GECKO
11 default y
12 depends on GPIO || LOG_BACKEND_SWO
13
14endif
15
