# Kconfig - EFR32MG SLTB004A board configuration
#
# Copyright (c) 2018 Christian Taedcke, Diego Sueiro
#
# SPDX-License-Identifier: Apache-2.0

if BOARD_EFR32MG_SLTB004A

config BOARD_INIT_PRIORITY
	int

	# omit prompt to signify a "hidden" option
	default KERNEL_INIT_PRIORITY_DEFAULT
	help
	  Board initialization priority. This must be bigger than
	  GPIO_GECKO_COMMON_INIT_PRIORITY.

endif # BOARD_EFR32MG_SLTB004A