penberg / manticoreLinks
Manticore is a research operating system, written in Rust.
☆295Updated 2 years ago
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.☆308Updated 6 years ago
- Toy microkernel and userspace written in Rust, exploring modern ideas☆266Updated 4 months ago
- A lightweight, secure, multiprocessor bare-metal hypervisor written in Rust for RISC-V☆200Updated last year
- Rust library to use x86 (amd64) specific functionality and registers.☆316Updated 2 years ago
- HermitCore: A C-based, lightweight unikernel☆227Updated 4 years ago
- A specialized hypervisor for Hermit.☆278Updated this week
- Rust rewrite of the ixy network driver☆318Updated 2 years ago
- An almost-parallel, semi-functioning, dynamic linker experiment, written in Rust☆173Updated 8 years ago
- The Stupid Operating System☆274Updated 7 years ago
- A barebones framework for a rust kernel.☆288Updated 3 years ago
- a (WIP) Rust frontend for gcc / a gcc backend for rustc☆202Updated 4 years ago
- Just hacking around on a toy Rust-based on based on the blog posts at http://blog.phil-opp.com/☆90Updated 3 years ago
- Mirror of https://gitlab.redox-os.org/redox-os/ralloc☆324Updated 5 years ago
- Magical ELF and Mach-o object file writer backend☆290Updated last year
- Slitter is a C- and Rust-callable slab allocator implemented primarily in Rust, with some C for performance or to avoid unstable Rust fea…☆148Updated 4 years ago
- Lightbeam has moved and now lives in the Wasmtime repository!☆250Updated 6 years ago
- Experimental kernel with built-in replication.☆163Updated 6 months ago
- ☆654Updated 3 weeks ago
- Ergonomic Rust bindings for instrumenting Rust apps with high performance probes using SystemTap, DTrace, etc☆221Updated 6 years ago
- Allocators in Rust☆318Updated 5 years ago
- A teaching operating system written in Rust☆478Updated this week
- A file system on top of your file system☆383Updated 5 years ago
- A tiny 32 bit kernel written in Rust, for fun☆194Updated 8 years ago
- ☆629Updated 6 years ago
- Rust interface to io_uring☆339Updated last year
- An x86 bootloader written in Rust.☆531Updated 4 years ago
- a Rust library implementing safe, lightweight context switches, without relying on kernel services☆538Updated 4 years ago
- Dora VM☆508Updated this week
- ☆186Updated 5 years ago
- Virtual machine's guest memory crate☆350Updated 3 weeks ago