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

extern byte_t __kernel[];
byte_t *kernel = __kernel;

void main()
{
  uart_init();

  uart_getc();
  uart_puts("loaded addr: ");
  uart_hex((unsigned int)(unsigned long)main);
  uart_puts(ENDL);
  
  int shell_cont = 1;
  while (shell_cont) {
    shell_cont = shell();
  }
}