2019-11-01 13:45:29 +01:00
|
|
|
# EFM32WG STK3800 board configuration
|
|
|
|
|
2017-04-05 18:56:59 +02:00
|
|
|
# Copyright (c) 2017 Christian Taedcke
|
|
|
|
# SPDX-License-Identifier: Apache-2.0
|
|
|
|
|
|
|
|
config BOARD_INIT_PRIORITY
|
|
|
|
int
|
|
|
|
default KERNEL_INIT_PRIORITY_DEFAULT
|
2020-02-09 22:26:07 +01:00
|
|
|
depends on BOARD_EFM32WG_STK3800
|
2017-04-05 18:56:59 +02:00
|
|
|
depends on GPIO
|
|
|
|
help
|
|
|
|
Board initialization priority. This must be bigger than
|
|
|
|
GPIO_GECKO_COMMON_INIT_PRIORITY.
|