1 files changed, 10 insertions, 3 deletions
diff --git a/kernel/kernel.c b/kernel/kernel.c
index da44428..70a0ad8 100644
--- a/kernel/kernel.c
+++ b/kernel/kernel.c
@@ -1,19 +1,26 @@
 #include <types.h>
 #include <dtb.h>
 #include <bump.h>
+#include <log.h>
+
+uint32_t user_regs[31];
 
 void kernel_main(size_t hart, void *fdt) {
-    (void)hart;
+    printk("Doing kernel init with hard ID %d", hart);
 
     struct dt_node *head = dt_parse(fdt);
     struct mem_info *info = km_find_memory(head);
 
+
     if (!info) {
-        while (1);
+        printk("failed to find memory info!");
+        return;
     }
 
     km_init(info);
+}
 
+void kernel_trap() {
 
-    while(1);
+    
 }