Search Results for "paging"

eduOS-rs is a teaching operating system written in Rust, developed by RWTH Aachen University to support courses on systems programming and operating systems. It serves as a practical and educational tool that demonstrates key OS concepts like memory management, multitasking, privilege separation, and system call handling in a safe and modern language. Designed to run on x86_64 hardware using QEMU, eduOS-rs leverages Rust’s ownership model and type safety to reduce bugs common in low-level...

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...

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...

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,...

Kerla is an experimental operating system kernel written in Rust with a Linux-compatible syscall interface. It aims to run Linux binaries in user space without relying on a traditional Linux kernel. Kerla combines the safety guarantees of Rust with a familiar POSIX-like programming model, making it a unique exploration into safe systems programming. Though early in development, it supports basic userspace execution and is a promising proof-of-concept for running Linux userland programs in a...