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

static void halt() {
  while (1) {
    asm volatile("wfi"); // Wait for interrupt. Core enters low-power state.
  }
}

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