#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);
}