#ifndef BSP_HOSTED_BOARDCONFIG_PRINT_H_ #define BSP_HOSTED_BOARDCONFIG_PRINT_H_ #include void printChar(const char* character, bool errStream); #endif /* BSP_HOSTED_BOARDCONFIG_PRINT_H_ */