#include <BootKit/BootKit.h>
#include <BootKit/BootThread.h>
#include <FirmwareKit/EFI.h>
#include <FirmwareKit/EFI/API.h>
#include <FirmwareKit/Handover.h>
#include <KernelKit/MSDOS.h>
#include <KernelKit/PE.h>
#include <KernelKit/PEF.h>
#include <NeKit/Macros.h>
#include <NeKit/Ref.h>
#include <modules/CoreGfx/CoreGfx.h>
#include <modules/CoreGfx/TextGfx.h>

Functions
EXTERN_C Void	rt_reset_hardware ()
EXTERN_C Kernel::VoidPtr	boot_read_cr3 ()
STATIC Bool	boot_init_fb ()
	Finds and stores the GOP object.
EFI_EXTERN_C EFI_API Int32	BootloaderMain (EfiHandlePtr image_handle, EfiSystemTable *sys_table)
	BootloaderMain EFI entrypoint.

Variables
STATIC EfiGraphicsOutputProtocol *	kGop = nullptr
STATIC UInt16	kGopStride = 0U
STATIC EFI_GUID	kGopGuid
EFI_GUID	kEfiGlobalNamespaceVarGUID

Function Documentation

◆ boot_init_fb()

STATIC Bool boot_init_fb ( )

Finds and stores the GOP object.

◆ boot_read_cr3()

EXTERN_C Kernel::VoidPtr boot_read_cr3 ( )

◆ BootloaderMain()

EFI_EXTERN_C EFI_API Int32 BootloaderMain	(	EfiHandlePtr	image_handle,
		EfiSystemTable *	sys_table )

BootloaderMain EFI entrypoint.

Parameters

image_handle	Handle of this image.
sys_table	The system table of it.

Returns: nothing, never returns.

! Init the EFI library.

access attributes (in order) EFI_VARIABLE_NON_VOLATILE | EFI_VARIABLE_BOOTSERVICE_ACCESS | EFI_VARIABLE_RUNTIME_ACCESS

◆ rt_reset_hardware()

EXTERN_C Void rt_reset_hardware ( )

Related to jumping to the reset vector.

Variable Documentation

◆ kEfiGlobalNamespaceVarGUID

EFI_GUID kEfiGlobalNamespaceVarGUID

Initial value:

= {

0x8BE4DF61, 0x93CA, 0x11D2, {0xAA, 0x0D, 0x00, 0xE0, 0x98, 0x03, 0x2B, 0x8C}}

◆ kGop

STATIC EfiGraphicsOutputProtocol* kGop = nullptr

Graphics related.

◆ kGopGuid

STATIC EFI_GUID kGopGuid

◆ kGopStride

STATIC UInt16 kGopStride = 0U

Functions

Variables