#ifndef UART_KERNEL_H
#define UART_KERNEL_H

/** Send a single character to the UART device */
void uart_putc(char c);

/** Send a **NULL TERMINATED** string to the UART device */
void uart_puts(const char *s);

#endif