| /* | |
| * Copyright (c) 2020 Jefferson Lee. | |
| * | |
| * SPDX-License-Identifier: Apache-2.0 | |
| */ | |
| #include <init.h> | |
| #include <drivers/gpio.h> | |
| static int board_init(const struct device *dev) | |
| { | |
| const struct gpio_dt_spec pull_up = | |
| GPIO_DT_SPEC_GET(DT_PATH(zephyr_user), pull_up_gpios); | |
| ARG_UNUSED(dev); | |
| if (!device_is_ready(pull_up.port)) { | |
| return -ENODEV; | |
| } | |
| return gpio_pin_configure_dt(&pull_up, GPIO_OUTPUT_INIT_HIGH); | |
| } | |
| SYS_INIT(board_init, POST_KERNEL, CONFIG_KERNEL_INIT_PRIORITY_DEVICE); |