src/mainboard/google/kukui/reset.c

   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 }