hermit-os / hermit-playgroundLinks
A playground to build C/C++/Go/Fortran applications on top of RustyHermit
☆41Updated last year
Alternatives and similar repositories for hermit-playground
Users that are interested in hermit-playground are comparing it to the libraries listed below
Sorting:
- The Hermit bootloader.☆81Updated this week
- A specialized hypervisor for Hermit.☆278Updated this week
- Linux kernel loader☆215Updated 2 weeks ago
- Rust support for seL4 userspace☆181Updated 2 months ago
- A VMM implementation based of rust-vmm components☆160Updated last year
- A tiny x86_64 kernel written in Rust.☆84Updated 3 years ago
- Provides easy-to-use Linux seccomp-bpf jailing.☆105Updated last month
- Provides allocations and release strategies for resources used during the lifetime of a VM.☆32Updated last week
- 'vhost-user' device backends workspace☆110Updated this week
- Miralis is a RISC-V firmware that virtualizes RISC-V firmware☆42Updated 2 weeks ago
- A low-level virtualization interface for Linux-based systems using WebAssembly☆169Updated last week
- Experimental kernel with built-in replication.☆163Updated 6 months ago
- A lightweight, secure, multiprocessor bare-metal hypervisor written in Rust for RISC-V☆200Updated last year
- ☆43Updated last year
- ☆144Updated last year
- My hobby operating system microkernel written in Rust☆46Updated 4 months ago
- Single-address-space capability-based nanokernel☆86Updated this week
- Rust Bindings for CRIU☆17Updated 2 weeks ago
- ☆37Updated 2 years ago
- Rust operating system running WebAssembly as userspace in ring 0☆179Updated 5 years ago
- A demonstrative cryptographically secure RISC-V bootloader written in Rust for a final year project at The University of Manchester☆67Updated last year
- A L4-like micro-kernel OS written in Rust☆67Updated 2 years ago
- Loupe: Syscall Usage Analysis Tool☆45Updated this week
- A Rust-based userland which also adds compile-time assurances to seL4 development.☆120Updated 2 years ago
- Helpers and utilities used by multiple rust-vmm components and VMMs☆85Updated last month
- Crates for Microsoft Hypervisor ioctls and bindings☆41Updated this week
- view based o.s.☆46Updated 2 months ago
- ☆54Updated last month
- ☆52Updated 2 months ago
- Rust-based Unikernel☆133Updated 2 years ago