2020-04-05 13:21:38 +02:00
|
|
|
/* SPDX-License-Identifier: GPL-2.0-only */
|
2016-03-02 11:38:40 +01:00
|
|
|
|
2016-07-14 08:12:27 +02:00
|
|
|
#include <gpio.h>
|
2016-03-02 11:38:40 +01:00
|
|
|
#include <reset.h>
|
|
|
|
|
2016-07-14 08:12:27 +02:00
|
|
|
#include "board.h"
|
|
|
|
|
2018-10-06 17:56:17 +02:00
|
|
|
void do_board_reset(void)
|
2016-03-02 11:38:40 +01:00
|
|
|
{
|
2016-07-14 08:12:27 +02:00
|
|
|
gpio_output(GPIO_RESET, 1);
|
2016-03-02 11:38:40 +01:00
|
|
|
}
|