# Copyright (c) 2023 Antmicro # SPDX-License-Identifier: Apache-2.0 if SOC_SERIES_EFR32BG27 config NUM_IRQS # must be >= the highest interrupt number used default 66 config GPIO_GECKO default y endif