#include <hardware_init.h>
#include <boardconfig.h>

void printChar(const char* character) {
	HAL_UART_Transmit(&huart3, (uint8_t *)character, 1 , DEBUG_UART_MS_TIMEOUT);
}