mainboard/intel/avenuecity_crb: Update full IIO configuration
[coreboot2.git] / src / mainboard / google / nyan_big / reset.c
blob5b5e525e05a8c1a9682d0bdcdab9f4cb9f0b23ea
1 /* SPDX-License-Identifier: GPL-2.0-only */
3 #include <gpio.h>
4 #include <reset.h>
6 void do_board_reset(void)
8 gpio_output(GPIO(I5), 0);