blob: 5b5e525e05a8c1a9682d0bdcdab9f4cb9f0b23ea [file] [log] [blame]
/* SPDX-License-Identifier: GPL-2.0-only */
#include <gpio.h>
#include <reset.h>
void do_board_reset(void)
{
gpio_output(GPIO(I5), 0);
}