# 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 |