penberg / manticoreLinks
Manticore is a research operating system, written in Rust.
☆293Updated last year
Alternatives and similar repositories for manticore
Users that are interested in manticore are comparing it to the libraries listed below
Sorting:
- A hobbyist microkernel written in Rust, featuring a capability-based system similar to seL4.☆304Updated 5 years ago
- RISC-V hypervisor written in Rust☆360Updated 5 years ago
- ☆637Updated this week
- A specialized hypervisor for Hermit.☆265Updated this week
- Mirror of https://gitlab.redox-os.org/redox-os/ralloc☆320Updated 4 years ago
- HermitCore: A C-based, lightweight unikernel☆226Updated 3 years ago
- Microkernel and userspace written in Rust exploring modern ideas☆259Updated 2 weeks ago
- Mirror of https://gitlab.redox-os.org/redox-os/relibc☆901Updated this week
- An almost-parallel, semi-functioning, dynamic linker experiment, written in Rust☆169Updated 7 years ago
- A lightweight, secure, multiprocessor bare-metal hypervisor written in Rust for RISC-V☆196Updated 5 months ago
- Rust library to use x86 (amd64) specific functionality and registers.☆313Updated last year
- A binary-compatible unikernel☆394Updated 10 months ago
- The Stupid Operating System☆270Updated 6 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…☆146Updated 3 years ago
- ☆631Updated 5 years ago
- A teaching operating system written in Rust☆454Updated 2 months ago
- A Rust-based, lightweight unikernel.☆1,305Updated this week
- Lightbeam has moved and now lives in the Wasmtime repository!☆249Updated 5 years ago
- Virtual machine's guest memory crate☆321Updated 3 weeks ago
- a (WIP) Rust frontend for gcc / a gcc backend for rustc☆203Updated 3 years ago
- (Toy) Compiler Infrastructure influenced by LLVM written in Rust☆401Updated 4 years ago
- Ergonomic Rust bindings for instrumenting Rust apps with high performance probes using SystemTap, DTrace, etc☆219Updated 5 years ago
- An x86 bootloader written in Rust.☆525Updated 3 years ago
- Rust interface to io_uring☆334Updated last year
- Rust rewrite of the ixy network driver☆312Updated last year
- Library for wrapping libc functions that require ambient authority☆85Updated 5 years ago
- Magical ELF and Mach-o object file writer backend☆278Updated last year
- a Rust library implementing safe, lightweight context switches, without relying on kernel services☆521Updated 3 years ago
- Dora VM☆504Updated this week
- A barebones framework for a rust kernel.☆285Updated 2 years ago