#ifndef UART_KERNEL_H
#define UART_KERNEL_H

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

#endif