#include <mmio.h>
#include <raspi.h>
#include <uart.h>

void main() {
  const int raspi = raspi_init();
  mmio_init(raspi);
  uart_init(raspi);
  
  uart_print("Hello world!\n");
  
  while (1);
}