Draft: start lab 3

kernel/main.c

@@ -6,6 +6,7 @@
 #include <mman.h>
 #include <shell.h>
 #include <vector.h>
+#include <utils.h>
 
 void init(void *dtb, file_node_t **initrd_root)
 {
@@ -34,6 +35,10 @@ void main(void *dtb)
   file_node_t *initrd_root = 0x0;
   init(dtb, &initrd_root);
 
+  uint64_t el;
+  R_SYSREG(el, CurrentEL);
+  INFOR(el);
+
   void *page1 = allocate_page(1);
   INFOR(page1);