void serial_init() 

char serial_read() {
int is_transmit_empty() {
   return x86_inb(PORT + 5) & 0x20;
}
 
void serial_write(char a) {
   while (is_transmit_empty() == 0);
   x86_outb(PORT,a);
}