redox-os / kernelLinks
Mirror of https://gitlab.redox-os.org/redox-os/kernel
☆729Updated 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,502Updated 2 weeks ago
- An OS kernel written in rust. Non POSIX☆793Updated last month
- Library to program x86_64 hardware.☆859Updated 2 weeks ago
- A Rust-based, lightweight unikernel.☆1,305Updated this week
- A comparison of operating systems written in Rust☆775Updated last month
- Tool to create bootable disk images from a Rust OS kernel.☆820Updated 2 months ago
- Mirror of https://gitlab.redox-os.org/redox-os/relibc☆901Updated this week
- Rusty wrapper for the Unified Extensible Firmware Interface (UEFI). This crate makes it easy to develop Rust software that leverages safe…☆1,434Updated this week
- Theseus is a modern OS written from scratch in Rust that explores 𝐢𝐧𝐭𝐫𝐚𝐥𝐢𝐧𝐠𝐮𝐚𝐥 𝐝𝐞𝐬𝐢𝐠𝐧: closing the semantic gap between…☆3,025Updated 9 months ago
- Framework for writing Linux kernel modules in safe Rust☆1,336Updated 4 years ago
- oreboot is a fork of coreboot, with C removed, written in Rust.☆1,696Updated last month
- A teaching operating system written in Rust☆454Updated 2 months ago
- A minimal Linux kernel module written in rust.☆913Updated 4 years ago
- Rust friendly bindings to *nix APIs☆2,841Updated this week
- A barebones framework for a rust kernel.☆285Updated 2 years ago
- The Stupid Operating System☆270Updated 6 years ago
- Aero is a new modern, experimental, UNIX-like operating system following the monolithic kernel design. Supporting modern PC features such…☆1,229Updated 2 months ago
- Alternative rust compiler (re-implementation)☆2,313Updated last month
- MOROS: Obscure Rust Operating System 🦉☆994Updated this week
- Raw bindings to platform APIs for Rust☆2,271Updated this week
- Rust implementation of the wayland protocol (client and server).☆1,228Updated this week
- Hermit for Rust.☆1,795Updated this week
- A hobby operating system, in Rust☆1,393Updated 5 years ago
- Microkernel and userspace written in Rust exploring modern ideas☆259Updated 2 weeks ago
- A hobbyist microkernel written in Rust, featuring a capability-based system similar to seL4.☆304Updated 5 years ago
- A tiny 32 bit kernel written in Rust☆1,535Updated 3 years ago
- Mirror of https://gitlab.redox-os.org/redox-os/ion☆1,513Updated this week
- LLVM tutorial in Rust language☆1,208Updated last year
- Low level access to RISC-V processors☆967Updated this week
- GCC Front-End for Rust☆2,656Updated this week