#ifndef BSP_RPI_BOARDCONFIG_RPI_CONFIG_H_ #define BSP_RPI_BOARDCONFIG_RPI_CONFIG_H_ #include <cstdint> #endif /* BSP_RPI_BOARDCONFIG_RPI_CONFIG_H_ */