#include <efi.h>
#include <common.h>

EFI_SYSTEM_TABLE *ST = NULL;

extern "C" void kernel_main();

extern "C" void _start(EFI_HANDLE ImageHandle, EFI_SYSTEM_TABLE *SystemTable) {
    (void)ImageHandle;
    ST = SystemTable;
    kernel_main();
    while (1) ASM ("hlt");
}