1 /* SPDX-License-Identifier: GPL-2.0-only */ 2 3 #include <gpio.h> 4 #include <reset.h> 5 6 #include "gpio.h" 7 do_board_reset(void)8 void do_board_reset(void) 9 { 10 gpio_output(GPIO_RESET, 1); 11 } 12