src/kernel.c


1
2
3
4
5
6
7
8
9
10
11
12
13
14

#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);
}