#include "../Common/bootinfo.h"
#include <Arch/DTB.h>
#include <OS/Log.h>

void KernelMain(Bootinfo* bootinfo) {
    OSLog("Kernel started.\n");
    DTBParse(bootinfo->dtb);
}