A hobbyist microkernel written in Rust, featuring a capability-based system similar to seL4.
☆307Dec 2, 2019Updated 6 years ago
Alternatives and similar repositories for rux
Users that are interested in rux are comparing it to the libraries listed below
Sorting:
- Toy microkernel and userspace written in Rust, exploring modern ideas☆266Sep 16, 2025Updated 5 months ago
- Mirror of https://gitlab.redox-os.org/redox-os/ralloc☆324Dec 14, 2020Updated 5 years ago
- [INACTIVE] Rust's standard library, free of C dependencies, for Linux systems☆521Dec 9, 2018Updated 7 years ago
- Xen-based unikernel in Rust☆56Jan 5, 2017Updated 9 years ago
- VM with JIT-compiler for ATMega32 written in Rust☆112Oct 28, 2018Updated 7 years ago
- ☆101May 11, 2017Updated 8 years ago
- A Cargo subcommand for working with feL4 projects.☆52Jun 5, 2018Updated 7 years ago
- An OS kernel written in rust. Non POSIX☆810Jul 25, 2025Updated 7 months ago
- An in memory wasm assembler for Rust☆11Mar 5, 2022Updated 4 years ago
- Experimental kernel for embedded devices written in Rust