| /* |
| * Copyright (c) 2018 Christian Taedcke |
| * |
| * SPDX-License-Identifier: Apache-2.0 |
| */ |
| |
| #include <init.h> |
| #include "board.h" |
| #include <gpio.h> |
| #include <misc/printk.h> |
| |
| static int efr32_slwstk6061a_init(struct device *dev) |
| { |
| struct device *bce_dev; /* Board Controller Enable Gpio Device */ |
| |
| ARG_UNUSED(dev); |
| |
| /* Enable the board controller to be able to use the serial port */ |
| bce_dev = device_get_binding(BC_ENABLE_GPIO_NAME); |
| |
| if (!bce_dev) { |
| printk("Board controller gpio port was not found!\n"); |
| return -ENODEV; |
| } |
| |
| gpio_pin_configure(bce_dev, BC_ENABLE_GPIO_PIN, GPIO_DIR_OUT); |
| gpio_pin_write(bce_dev, BC_ENABLE_GPIO_PIN, 1); |
| |
| return 0; |
| } |
| |
| /* needs to be done after GPIO driver init */ |
| SYS_INIT(efr32_slwstk6061a_init, PRE_KERNEL_1, CONFIG_BOARD_INIT_PRIORITY); |