#include <stdio.h>

#include "uart.h"


int main(void)
{
  uart0_init();

  printf("Hello world!");

  while (1) {
  }  
}