Search Results for "bootable"

Hermit Kernel is the core component of HermitCore, a Rust-based unikernel that runs directly on hypervisors or bare-metal systems to support high-performance cloud and HPC applications. This repository contains the microkernel’s implementation, optimized for running Rust applications natively in a lightweight, single-address-space environment. Hermit Kernel is designed to reduce latency and overhead by avoiding traditional OS abstractions, while still providing essential services such as...

k23 is a microkernel-based operating system project written in Zig, an emerging systems programming language focused on safety, simplicity, and performance. k23 explores the design of modern OS features like message-passing, memory protection, and modular service construction using Zig’s powerful low-level capabilities. It is an experimental and educational project intended to show how Zig can be used for robust, readable systems programming while enabling contributors to rethink traditional...

felix is a simple 64-bit hobby operating system written in Rust, designed as an educational and personal exploration into systems programming. It features a monolithic kernel that supports basic multitasking, memory management, and user programs. Built from the ground up with Rust’s strong safety guarantees, felix aims to strike a balance between low-level hardware access and modern software practices. It runs on x86_64 platforms via QEMU and includes a basic shell and ELF binary loader,...