blob: 512ea770cdc4b0391ad91fa5ea28347d8b570c3c [file] [log] [blame]
David Hendricks113ef812015-05-13 13:58:24 -07001/*
2 * This file is part of the coreboot project.
3 *
4 * Copyright 2014 Google Inc.
5 *
6 * This program is free software; you can redistribute it and/or modify
7 * it under the terms of the GNU General Public License as published by
8 * the Free Software Foundation; version 2 of the License.
9 *
10 * This program is distributed in the hope that it will be useful,
11 * but WITHOUT ANY WARRANTY; without even the implied warranty of
12 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
13 * GNU General Public License for more details.
David Hendricks113ef812015-05-13 13:58:24 -070014 */
15
David Hendricks113ef812015-05-13 13:58:24 -070016#include <gpio.h>
17#include <reset.h>
18
19#include "board.h"
20
Nico Hubere8791362018-10-06 17:53:14 +020021void do_board_reset(void)
David Hendricks113ef812015-05-13 13:58:24 -070022{
23 gpio_output(GPIO_RESET, 1);
David Hendricks113ef812015-05-13 13:58:24 -070024}