2026-05-03 09:13:20 +00:00
1 changed files with 5 additions and 0 deletions
@@ -1,8 +1,13 @@
 #include "../Common/bootinfo.h"
 #include <Arch/DTB.h>
 #include <OS/Log.h>
+#include <OS/Panic.h>

 void KernelMain(Bootinfo* bootinfo) {
    OSLog("Kernel started.\n");
+    if (bootinfo->magic != BOOTINFO_MAGIC) {
+        OSPanic("Invalid bootinfo magic");
+    }
+    
    DTBParse(bootinfo->dtb);
 }