2020-05-13 04:45:08 +02:00
|
|
|
/* SPDX-License-Identifier: GPL-2.0-only */
|
|
|
|
|
2021-01-08 12:50:26 +01:00
|
|
|
#include <gpio.h>
|
2020-05-13 04:45:08 +02:00
|
|
|
#include <reset.h>
|
|
|
|
|
2021-01-08 12:50:26 +01:00
|
|
|
#include "gpio.h"
|
|
|
|
|
2020-05-13 04:45:08 +02:00
|
|
|
void do_board_reset(void)
|
|
|
|
{
|
2021-01-08 12:50:26 +01:00
|
|
|
gpio_output(GPIO_RESET, 1);
|
2020-05-13 04:45:08 +02:00
|
|
|
}
|