1 /*
2  * Copyright (c) 2017 Christian Taedcke
3  *
4  * SPDX-License-Identifier: Apache-2.0
5  */
6 
7 #ifndef __INC_BOARD_H
8 #define __INC_BOARD_H
9 
10 /* This pin is used to enable the serial port using the board controller */
11 #define BC_ENABLE_GPIO_NAME  "GPIO_F"
12 #define BC_ENABLE_GPIO_PIN   7
13 
14 #endif /* __INC_BOARD_H */
15