# Copyright (c) 2023 Antmicro # SPDX-License-Identifier: Apache-2.0 config BOARD_SLTB009A select SOC_PART_NUMBER_EFM32GG12B810F1024GM64