sorpaas / ruxLinks
A hobbyist microkernel written in Rust, featuring a capability-based system similar to seL4.
☆306Updated 5 years ago
Alternatives and similar repositories for rux
Users that are interested in rux are comparing it to the libraries listed below
Sorting:
- A barebones framework for a rust kernel.☆284Updated 2 years ago
- A language-based OS to run Rust on bare metal☆86Updated 8 years ago
- The Stupid Operating System☆270Updated 6 years ago
- Manticore is a research operating system, written in Rust.☆293Updated last year
- Just hacking around on a toy Rust-based on based on the blog posts at http://blog.phil-opp.com/☆90Updated 2 years ago
- Mirror of https://gitlab.redox-os.org/redox-os/ralloc☆323Updated 4 years ago
- A lightweight, secure, multiprocessor bare-metal hypervisor written in Rust for RISC-V☆198Updated 7 months ago
- A multi-platform kernel written in Rust☆198Updated 9 years ago
- Toy microkernel and userspace written in Rust exploring modern ideas☆260Updated this week
- A tiny 32 bit kernel written in Rust, for fun☆194Updated 8 years ago
- Rust library to use x86 (amd64) specific functionality and registers.☆314Updated last year
- An almost-parallel, semi-functioning, dynamic linker experiment, written in Rust☆171Updated 7 years ago
- Xen-based unikernel in Rust☆57Updated 8 years ago
- Experimental kernel for embedded devices written in Rust☆91Updated 3 years ago
- ARMv7 emulator written in Rust☆117Updated 8 years ago
- RISC-V hypervisor written in Rust☆362Updated 5 years ago
- A multi-platform kernel written in Rust☆58Updated 7 years ago
- A toy operating system written in Rust on RISC V(rv32im)☆205Updated 2 years ago
- EFI applications in Rust☆207Updated 10 years ago
- RISCV Rust Toolchain☆117Updated 7 years ago
- A teaching operating system written in Rust☆453Updated 5 months ago
- A Rust version of the Weenix OS☆318Updated 10 years ago
- Rustic Embedded Framework☆189Updated 4 years ago
- A language-based OS to run Rust on bare metal☆423Updated 8 years ago
- Collecting examples and information to help design a memory model for Rust.☆126Updated 6 years ago
- An OS kernel written in rust. Non POSIX☆803Updated last month
- Design by contract style assertions for Rust☆249Updated 4 years ago
- Mirror of https://gitlab.redox-os.org/redox-os/coreutils☆257Updated last week
- An interface to a generic allocator so a no_std rust library can allocate memory, with, or without stdlib being linked.☆175Updated last year
- A Rust-based userland which also adds compile-time assurances to seL4 development.☆118Updated 2 years ago