coreboot
coreboot is an Open Source project aimed at replacing the proprietary BIOS found in most computers.
board.h
Go to the documentation of this file.
1 /* SPDX-License-Identifier: GPL-2.0-only */
2 
3 #ifndef __COREBOOT_SRC_MAINBOARD_PINE64_ROCKPRO64_BOARD_H
4 #define __COREBOOT_SRC_MAINBOARD_PINE64_ROCKPRO64_BOARD_H
5 
6 #include <gpio.h>
7 
8 #define GPIO_RESET GPIO(1, A, 6)
9 
10 #endif /* ! __COREBOOT_SRC_MAINBOARD_PINE64_ROCKPRO64_BOARD_H */