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

void KernelMain(Bootinfo* bootinfo) {
    OSLog("DTB located at 0x%x\n", bootinfo->dtb);
    OSLog("Kernel located at 0x%x\n", bootinfo->kernelInfo.kernelAddress);
}