| /* | |
| * Copyright (c) 2018 Marcio Montenegro | |
| * | |
| * SPDX-License-Identifier: Apache-2.0 | |
| */ | |
| #ifndef __INC_BOARD_H | |
| #define __INC_BOARD_H | |
| /* This pin is used to enable the serial port using the board controller */ | |
| #define BC_ENABLE_GPIO_NAME "GPIO_A" | |
| #define BC_ENABLE_GPIO_PIN 9 | |
| #endif /* __INC_BOARD_H */ |