volatile unsigned int * const UART0_DR = (unsigned int *)0x10009000;


void print_uart0(const char *s)
{
  while(*s != '\0') { /* Loop until end of string */
    *UART0_DR = (unsigned int)(*s); /* Transmit char */
    s++; /* Next char */
  }
}

void do_display(void);

void start(void)
{
    print_uart0("Hello world\n");
    do_display();
    for (;;);
}