#include "uart.h"

int kernelmain(void) {
  init_uart();
  puts("Hello world\n");
  return 0;
}