20 lines
420 B
Plaintext
20 lines
420 B
Plaintext
# Kconfig - EFM32WG STK3800 board configuration
|
|
#
|
|
# Copyright (c) 2017 Christian Taedcke
|
|
#
|
|
# SPDX-License-Identifier: Apache-2.0
|
|
|
|
if BOARD_EFM32WG_STK3800
|
|
|
|
config BOARD_INIT_PRIORITY
|
|
int
|
|
|
|
# omit prompt to signify a "hidden" option
|
|
default KERNEL_INIT_PRIORITY_DEFAULT
|
|
depends on GPIO
|
|
help
|
|
Board initialization priority. This must be bigger than
|
|
GPIO_GECKO_COMMON_INIT_PRIORITY.
|
|
|
|
endif # BOARD_EFM32WG_STK3800
|