#include <uart.h>
#include <dtb.h>
#include <initrd.h>
#include <shell.h>
#include <vector.h>

void main(void *dtb)
{
  uart_init();
  uart_getc();
  
  DEBUG(dtb);

  dtb_addr = dtb;
  vector_t *dtb_cbs = make_vector(0);
  VEC_PUSH(dtb_cbs, &initrd_dtb_cb);
  fdt_traverse(dtb_cbs);

  DEBUG(initrd_start);
  DEBUG(initrd_end);

  file_node_t *initrd_root = initrd_init();

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