kernel/entry_efi.c


1
2
3
4
5
6
7
8
9
10
11
12
13
14

#include <stdbool.h>
#include <stdnoreturn.h>

#include <boot/entry/entry_efi.h>

static const char kernel_entry_data[4096];

noreturn void kernel_entry(struct efi_boot_data *data)
{
    (void)data;
    __asm__ ("cli\n\t");
    while (true) __asm__ ("hlt\n\t");
}