Search Results for "kernel development"

Moss Kernel is an open-source operating system kernel project designed to explore modern OS design and provide a foundation for experimental system research and development. Rather than replicating traditional monolithic kernels exactly, it emphasizes modularity, safety, and simplicity by incorporating well-structured subsystems for memory management, scheduling, and device abstraction that are easy for contributors to understand and extend.

This repository contains a collection of tools and commands used for managing the lifecycle of enclaves. The Nitro CLI needs to be installed on the parent instance, and it can be used to start, manage, and terminate enclaves. The Nitro Enclaves kernel driver is available in the upstream Linux kernel starting with the v5.10 kernel for x86_64 and starting with the v5.16 kernel for arm64. The codebase from the 'drivers/virt/nitro_enclaves' directory in this GitHub repository is similar to the...

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