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


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 start(void)
{
    print_uart0("Hello world\n");
    for (;;);
}