#include <stdbool.h>
#include <stdio.h>
#include <OBSWConfig.h>
#include <stm32h7xx_hal_uart.h>

#include <hal.h>

void printChar(const char* character, bool errStream) {
	HAL_UART_Transmit(&stm32h7_usart3_instance.uart, (uint8_t*) character, 1,
	        DEBUG_UART_MS_TIMEOUT);
	/* Does not work for some reason */
	//stm32h7_uart_polled_write(&stm32h7_usart3_instance.device, (int) character);
}