Modules

Provides a frame allocator based on a BIOS or UEFI memory map.

Provides a type to keep track of used entries in a level 4 page table.

Implements a loader for the kernel ELF binary.

Provides a logger type that logs output as text to pixel-based framebuffers.

Structs

Contains the addresses of all memory mappings set up by set_up_mappings.

Provides access to the page tables of the bootloader and kernel address space.

Required system information that should be queried from the BIOS or UEFI firmware.

Functions

Allocates and initializes the boot info struct and the memory map.

Initialize a text-based logger using the given pixel-based framebuffer as output.

Loads the kernel ELF executable into memory and switches to it.

Sets up mappings for a kernel stack and the framebuffer.

Switches to the kernel address space and jumps to the kernel entry point.