Modules§
- Provides a type that logs output as text to pixel-based framebuffers.
- 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 that logs output as text in various formats.
- Provides a type that logs output as text to a Serial Being port.
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.
- The physical address of the framebuffer and information about the framebuffer.
- 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.