coreboot
coreboot is an Open Source project aimed at replacing the proprietary BIOS found in most computers.
reset.c
Go to the documentation of this file.
1 /* SPDX-License-Identifier: GPL-2.0-only */
2 
3 #include <gpio.h>
4 #include <reset.h>
5 
6 #include "gpio.h"
7 
8 void do_board_reset(void)
9 {
10  gpio_output(GPIO_RESET, 1);
11 }
gpio_output
void gpio_output(gpio_t gpio, int value)
Definition: gpio.c:194
GPIO_RESET
#define GPIO_RESET
Definition: gpio.h:16
do_board_reset
void do_board_reset(void)
Definition: reset.c:8