# 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