redox-os / kernel
Mirror of https://gitlab.redox-os.org/redox-os/kernel
☆709Updated this week
Alternatives and similar repositories for kernel:
Users that are interested in kernel are comparing it to the libraries listed below
- A Rust-based, lightweight unikernel.☆1,281Updated this week
- An OS kernel written in rust. Non POSIX☆785Updated last week
- An experimental pure-Rust x86 bootloader☆1,481Updated last month
- Library to program x86_64 hardware.☆845Updated this week
- A comparison of operating systems written in Rust☆762Updated 2 weeks ago
- Rusty wrapper for the Unified Extensible Firmware Interface (UEFI). This crate makes it easy to develop Rust software that leverages safe…☆1,407Updated this week
- Mirror of https://gitlab.redox-os.org/redox-os/relibc☆894Updated this week
- Framework for writing Linux kernel modules in safe Rust☆1,337Updated 4 years ago
- Tool to create bootable disk images from a Rust OS kernel.☆809Updated last month
- oreboot is a fork of coreboot, with C removed, written in Rust.☆1,669Updated 3 weeks ago
- A minimal Linux kernel module written in rust.☆912Updated 4 years ago
- MOROS: Obscure Rust Operating System 🦉☆985Updated 2 weeks ago
- A tiny 32 bit kernel written in Rust☆1,536Updated 3 years ago
- Aero is a new modern, experimental, UNIX-like operating system following the monolithic kernel design. Supporting modern PC features such…☆1,215Updated last month
- A barebones framework for a rust kernel.☆284Updated 2 years ago
- A teaching operating system written in Rust☆450Updated last month
- Alternative rust compiler (re-implementation)☆2,290Updated this week
- The sysroot manager that lets you build and customize `std`☆1,112Updated 2 years ago
- Raw bindings to platform APIs for Rust☆2,248Updated last week
- The Adventures of OS☆544Updated 2 years ago
- Hermit for Rust.☆1,773Updated this week
- A hobbyist microkernel written in Rust, featuring a capability-based system similar to seL4.☆304Updated 5 years ago
- Rust friendly bindings to *nix APIs☆2,811Updated last week
- The Stupid Operating System☆269Updated 6 years ago
- Cross-platform, low level networking using the Rust programming language.☆2,424Updated 3 months ago
- Theseus is a modern OS written from scratch in Rust that explores 𝐢𝐧𝐭𝐫𝐚𝐥𝐢𝐧𝐠𝐮𝐚𝐥 𝐝𝐞𝐬𝐢𝐠𝐧: closing the semantic gap between…☆2,999Updated 7 months ago
- Microkernel and userspace written in Rust exploring modern ideas☆256Updated last month
- a smol tcp/ip stack☆4,013Updated this week
- libgccjit AOT codegen for rustc☆967Updated this week
- 🧑🔬 Operating system☆1,439Updated last month