| # Kconfig - EFM32PG STK3402A board configuration | |
| # | |
| # Copyright (c) 2018 Christian Taedcke | |
| # | |
| # SPDX-License-Identifier: Apache-2.0 | |
| if BOARD_EFM32PG_STK3402A | |
| config BOARD_INIT_PRIORITY | |
| int | |
| default KERNEL_INIT_PRIORITY_DEFAULT | |
| depends on GPIO | |
| help | |
| Board initialization priority. This must be bigger than | |
| GPIO_GECKO_COMMON_INIT_PRIORITY. | |
| endif # BOARD_EFM32PG_STK3402A |