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.☆306Updated 5 years ago
- Toy microkernel and userspace written in Rust, exploring modern ideas☆260Updated 2 weeks ago
- A lightweight, secure, multiprocessor bare-metal hypervisor written in Rust for RISC-V☆198Updated 8 months ago
- ☆647Updated last week
- A specialized hypervisor for Hermit.☆274Updated last week
- Rust library to use x86 (amd64) specific functionality and registers.☆314Updated last year
- HermitCore: A C-based, lightweight unikernel☆226Updated 3 years ago
- Rust rewrite of the ixy network driver☆314Updated last year
- a (WIP) Rust frontend for gcc / a gcc backend for rustc☆202Updated 3 years ago
- An almost-parallel, semi-functioning, dynamic linker experiment, written in Rust☆171Updated 7 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…☆147Updated 4 years ago
- RISC-V hypervisor written in Rust☆363Updated 5 years ago
- Mirror of https://gitlab.redox-os.org/redox-os/ralloc☆323Updated 4 years ago
- Experimental kernel with built-in replication.☆160Updated 2 months ago
- The Stupid Operating System☆271Updated 7 years ago
- Magical ELF and Mach-o object file writer backend☆282Updated last year
- Ergonomic Rust bindings for instrumenting Rust apps with high performance probes using SystemTap, DTrace, etc☆221Updated 5 years ago
- https://www.usenix.org/conference/atc20/presentation/boucher☆26Updated 3 years ago
- A VMM implementation based of rust-vmm components☆153Updated last year
- Lightbeam has moved and now lives in the Wasmtime repository!☆250Updated 5 years ago
- Rust interface to io_uring☆336Updated last year
- Allocators in Rust☆316Updated 5 years ago
- Virtual machine's guest memory crate☆331Updated this week
- ☆54Updated 2 months ago
- An x86 bootloader written in Rust.☆529Updated 4 years ago
- Rust implementation of the projects from the book Modern Compiler Implementation in ML☆145Updated 4 months ago
- Working draft of nextgen malloc implementation for musl libc☆123Updated 4 years ago
- Definitions for the CloudABI data types and system calls☆133Updated 5 years ago
- A teaching operating system written in Rust☆460Updated 6 months ago
- ☆185Updated 5 years ago