#include "uart.h"

int kernelmain(void) {
  init_uart();
  return 0;
}