/**
 * @file
 * Serial Port Driver for COM1
 *
 * https://wiki.osdev.org/Serial_Ports
 *
 * Call serial_init() once before reading and writing with serial_read()
 * and serial_write(). Note that reading and writing might block.
 */

/** Initialize COM1 **/
void serial_init();

/** read one byte from COM1 (blocking) **/
char serial_read();
 
/** write one byte from COM1 (blocking) **/
void serial_write(char a);