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

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