A tool for displaying boot info from a binary such as a Multiboot-compliant file.
Boot information that can be passed from a bootloader to an OS kernel.
Create bootable ISO images with FAT32 and UEFI (El Torito) support in Rust.
Dependency-free, no_std-first ABI contract utilities for Rust OS development: compile-time layout/offset assertions and minimal ABI versioning.
Crate defining the entry point to the initial thread on seL4
Crate defining the entry point to the initial thread on seL4
A custom test framework for Rust-based operating system kernels
Core unikernel implementation providing the foundation for agent execution across heterogeneous hardware platforms
The bootloader for Proka OS
Writing an OS in Rust
An experimental x86_64 bootloader that works on both BIOS and UEFI systems.
A simple program that links your executables created using bootloader_api with the actual bootloader.