hw2 done

kernel/main.c

@@ -1,12 +1,28 @@
 #include <uart.h>
+#include <dtb.h>
+#include <initrd.h>
 #include <shell.h>
+#include <vector.h>
 
-void main()
+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(); 
+    shell_cont = shell(initrd_root);
   }
 }