Search Results for "development"

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-RS is a Rust-based unikernel designed for high-performance and cloud computing applications. By combining the safety and concurrency features of Rust with the minimalistic approach of unikernels, Hermit-RS offers a secure and efficient runtime environment. It is particularly suited for running single-tenant applications directly on hypervisors or bare-metal hardware, reducing overhead and improving performance.

...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 systems development. It is a valuable resource for students and instructors alike, providing clear, structured examples of kernel development.

BerserkArch is a security-focused, performance-tuned Linux operating system (OS) based on Arch Linux, designed for developers, hackers, and technical users. A bleeding-edge, security-centric Arch-based Linux distribution crafted for hackers, developers, and nerds alike. Following the Arch Linux philosophy, it is designed to be highly customizable, allowing users to build their environment with only the components they need, rather than having a lot of pre-installed software like some other...

...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 fully Rust-based kernel.

rCore-Tutorial-v3 is an educational project designed to guide learners through the process of building a minimalistic operating system from scratch using the Rust programming language. Targeting the RISC-V architecture, this tutorial emphasizes safety and concurrency, leveraging Rust's features to teach OS fundamentals such as memory management, process scheduling, and file systems. It is structured to provide hands-on experience, making it suitable for both academic settings and self-study.