#include "disk.h"
#include "gop.h"
#include "kernel.h"
#include "mem.h"
#include <boot/boot_info.h>
#include <kernel/mem/paging.h>
#include <kernel/version.h>
#include <efi.h>
#include <efilib.h>
Go to the source code of this file.
◆ EXIT_BOOT_SERVICES_MAX_RETRY
| #define EXIT_BOOT_SERVICES_MAX_RETRY 5 |
◆ splash_screen()
| static void splash_screen |
( |
void |
| ) |
|
|
static |
◆ open_root_volume()
| static EFI_STATUS open_root_volume |
( |
EFI_FILE ** |
file, |
|
|
EFI_HANDLE |
imageHandle |
|
) |
| |
|
static |
◆ rsdp_get()
| static void * rsdp_get |
( |
EFI_SYSTEM_TABLE * |
systemTable | ) |
|
|
static |
◆ boot_info_populate()
| static EFI_STATUS boot_info_populate |
( |
EFI_HANDLE |
imageHandle, |
|
|
EFI_SYSTEM_TABLE * |
systemTable, |
|
|
boot_info_t * |
bootInfo |
|
) |
| |
|
static |
◆ exit_boot_services()
| static EFI_STATUS exit_boot_services |
( |
EFI_HANDLE |
imageHandle, |
|
|
boot_info_t * |
bootInfo |
|
) |
| |
|
static |
◆ efi_main()
| EFI_STATUS efi_main |
( |
EFI_HANDLE |
imageHandle, |
|
|
EFI_SYSTEM_TABLE * |
systemTable |
|
) |
| |