kernel.c


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18

#include <stddef.h>
#include <stdint.h>
#include <uart.h>
#include <global.h>

void kernel_main(uint32_t r0, uint32_t r1, uint32_t atags)
{
  // Declare as unused
  (void) r0;
  (void) r1;
  (void) atags;

  uart_init();
  uart_puts("Hello, kernel World!\r\n");

  while (1)
    uart_putc(uart_getc());
}