penberg / manticore
Manticore is a research operating system, written in Rust.
☆294Updated last year
Alternatives and similar repositories for manticore:
Users that are interested in manticore are comparing it to the libraries listed below
- A hobbyist microkernel written in Rust, featuring a capability-based system similar to seL4.☆300Updated 5 years ago
- A specialized hypervisor for Hermit.☆262Updated this week
- Rust library to use x86 (amd64) specific functionality and registers.☆312Updated last year
- Microkernel and userspace written in Rust exploring modern ideas☆256Updated last month
- A lightweight, secure, multiprocessor bare-metal hypervisor written in Rust for RISC-V☆194Updated 2 months ago
- An almost-parallel, semi-functioning, dynamic linker experiment, written in Rust☆168Updated 7 years ago
- RISC-V hypervisor written in Rust☆356Updated 5 years ago
- ☆626Updated this week
- Mirror of https://gitlab.redox-os.org/redox-os/ralloc☆322Updated 4 years ago
- HermitCore: A C-based, lightweight unikernel☆224Updated 3 years ago
- Slitter is a C- and Rust-callable slab allocator implemented primarily in Rust, with some C for performance or to avoid unstable Rust fea…☆143Updated 3 years ago
- Lightbeam has moved and now lives in the Wasmtime repository!☆251Updated 5 years ago
- An x86 bootloader written in Rust.☆524Updated 3 years ago
- Rust rewrite of the ixy network driver☆309Updated last year
- Ergonomic Rust bindings for instrumenting Rust apps with high performance probes using SystemTap, DTrace, etc☆219Updated 5 years ago
- a Rust library implementing safe, lightweight context switches, without relying on kernel services☆518Updated 3 years ago
- ☆632Updated 5 years ago
- Mirror of https://gitlab.redox-os.org/redox-os/relibc☆884Updated this week
- a (WIP) Rust frontend for gcc / a gcc backend for rustc☆204Updated 3 years ago
- Definitions for the CloudABI data types and system calls