# Copyright (c) 2017, Christian Taedcke
# SPDX-License-Identifier: Apache-2.0

config BOARD_EFM32WG_STK3800
	select SOC_PART_NUMBER_EFM32WG990F256