path: root/kernel/drivers/serial.h

int serial_init(void);
void write_serial(char a);