redox-os / kernelLinks
Mirror of https://gitlab.redox-os.org/redox-os/kernel
☆807Updated this week
Alternatives and similar repositories for kernel
Users that are interested in kernel are comparing it to the libraries listed below
Sorting:
- An experimental pure-Rust x86 bootloader☆1,603Updated 3 weeks ago
- An OS kernel written in rust. Non POSIX☆810Updated 5 months ago
- A comparison of operating systems written in Rust☆825Updated 2 months ago
- Tool to create bootable disk images from a Rust OS kernel.☆863Updated 4 months ago
- Library to program x86_64 hardware.☆896Updated last week
- A Rust-based, lightweight unikernel.☆1,389Updated last week
- Mirror of https://gitlab.redox-os.org/redox-os/relibc☆955Updated last week
- Rusty wrapper for the Unified Extensible Firmware Interface (UEFI). This crate makes it easy to develop Rust software that leverages safe…☆1,538Updated last week
- A teaching operating system written in Rust☆467Updated 3 weeks ago
- Raw bindings to platform APIs for Rust☆2,416Updated last week
- oreboot is a fork of coreboot, with C removed, written in Rust.☆1,743Updated last month
- Alternative rust compiler (re-implementation)☆2,387Updated this week
- MOROS: Obscure Rust Operating System 🦉☆1,030Updated last week
- A tiny 32 bit kernel written in Rust☆1,541Updated 4 years ago
- Aero is a new modern, experimental, UNIX-like operating system following the monolithic kernel design. Supporting modern PC features such…☆1,244Updated 8 months ago
- A new operating system kernel with Linux binary compatibility written in Rust.☆3,453Updated last year
- A barebones framework for a rust kernel.☆288Updated 3 years ago
- Framework for writing Linux kernel modules in safe Rust☆1,339Updated 4 years ago
- The Stupid Operating System☆274Updated 7 years ago
- A minimal Linux kernel module written in rust.☆916Updated 4 years ago
- Theseus is a modern OS written from scratch in Rust that explores 𝐢𝐧𝐭𝐫𝐚𝐥𝐢𝐧𝐠𝐮𝐚𝐥 𝐝𝐞𝐬𝐢𝐠𝐧: closing the semantic gap between…☆3,094Updated last year
- The sysroot manager that lets you build and customize `std`☆1,125Updated 2 years ago
- Toy microkernel and userspace written in Rust, exploring modern ideas☆267Updated 3 months ago
- A hobby operating system, in Rust☆1,397Updated 6 years ago
- Low level access to RISC-V processors☆1,045Updated this week
- The Adventures of OS☆562Updated 3 years ago
- Rust friendly bindings to *nix APIs☆2,945Updated last week
- About this organization☆133Updated 3 weeks ago
- Hermit for Rust.☆1,853Updated this week
- libgccjit AOT codegen for rustc☆1,080Updated this week