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.