#ifndef BSP_RPI_BOARDCONFIG_RPI_CONFIG_H_
#define BSP_RPI_BOARDCONFIG_RPI_CONFIG_H_

#include <cstdint>

#endif /* BSP_RPI_BOARDCONFIG_RPI_CONFIG_H_ */