osc2025/kernel/main.c

#include <uart.h>
#include <shell.h>

void main()
{
  uart_init();

  int shell_cont = 1;
  while (shell_cont) {
    shell_cont = shell(); 
  }
}