#ifndef _BOOT_DRIVERS_UART_H
#define _BOOT_DRIVERS_UART_H

#include <libboot/types.h>

void uart_init();
int uart_write(uint8_t data);

#endif // _BOOT_DRIVERS_UART_H