aero

Implements 64-bit higher half kernel, 5-level paging, and SMP, targeting contemporary hardware for efficient memory and multicore performance, as highlighted in the features list.

Written in Rust, it leverages memory safety and concurrency features to reduce common kernel vulnerabilities and bugs, aligning with the goal of a safe operating system.

Aims for good source-level compatibility with Linux, facilitating easier porting of programs, as stated in the goals, which helps leverage existing software.

Designed to run on actual hardware, not just emulators, with UEFI bootloader and ACPI support, making it a practical experimental platform beyond virtualization.