Alternatives and similar repositories for hermit-playground

Users that are interested in hermit-playground are comparing it to the libraries listed below

• seL4 / rust-sel4
  Rust support for seL4 userspace
  ☆177Updated 2 weeks ago
• hermit-os / loader
  The Hermit bootloader.
  ☆79Updated last week
• rust-vmm / vm-allocator
  Provides allocations and release strategies for resources used during the lifetime of a VM.
  ☆32Updated last week
• hermit-os / uhyve
  A specialized hypervisor for Hermit.
  ☆277Updated this week
• rust-vmm / linux-loader
  Linux kernel loader
  ☆208Updated last week
• rust-vmm / seccompiler
  Provides easy-to-use Linux seccomp-bpf jailing.
  ☆103Updated last week
• vmware-archive / node-replicated-kernel
  Experimental kernel with built-in replication.
  ☆162Updated 4 months ago
• rust-vmm / vmm-reference
  A VMM implementation based of rust-vmm components
  ☆155Updated last year
• fujita / rust-e1000
  ☆77Updated 2 years ago
• CharlyCst / miralis
  Miralis is a RISC-V firmware that virtualizes RISC-V firmware
  ☆38Updated last month
• arjunr2 / WALI
  A low-level virtualization interface for Linux-based systems using WebAssembly
  ☆164Updated last month
• auxoncorp / ferros
  A Rust-based userland which also adds compile-time assurances to seL4 development.
  ☆118Updated 2 years ago
• rust-vmm / vhost-device
  'vhost-user' device backends workspace
  ☆105Updated this week
• LawrenceHunter / SentinelBoot
  A demonstrative cryptographically secure RISC-V bootloader written in Rust for a final year project at The University of Manchester
  ☆67Updated last year
• diodesign / diosix
  A lightweight, secure, multiprocessor bare-metal hypervisor written in Rust for RISC-V
  ☆197Updated 11 months ago
• NathanMcMillan54 / novusk
  A kernel written in Rust
  ☆92Updated last year
• virtualsquare / vuos
  view based o.s.
  ☆46Updated last month
• Narasimha1997 / r3
  A tiny x86_64 kernel written in Rust.
  ☆83Updated 3 years ago
• woodruffw / mollusc
  Pure-Rust libraries for parsing, interpreting, and analyzing LLVM
  ☆82Updated last year
• containers / libkrunfw
  A dynamic library bundling the guest payload consumed by libkrun
  ☆107Updated this week
• au-ts / lionsos
  A secure, fast, and adaptable OS based on the seL4 microkernel
  ☆195Updated this week
• zdimension / parm_extended
  ☆52Updated 3 weeks ago
• mkeeter / ssra
  The Solid-State Register Allocator
  ☆87Updated 3 years ago
• hermit-os / hermit-rs-template
  An application template for Hermit for Rust.
  ☆37Updated last week
• SamGinzburg / VectorVisor
  VectorVisor is a vectorizing binary translator for GPUs, designed to make it easy to run many copies of a single-threaded WebAssembly pro…
  ☆155Updated last year
• xr0-org / xr0
  The Xr0 Verifier for C
  ☆180Updated 7 months ago
• rust-vmm / kvm-bindings
  ☆144Updated last year
• kevin-lesenechal / elf-info
  Inspect and dissect an ELF file with pretty formatting.
  ☆115Updated last year
• IBM / ACE-RISCV
  Assured confidential execution (ACE) implements VM-based trusted execution environment (TEE) for embedded RISC-V systems with focus on a …
  ☆193Updated 3 weeks ago
• StardustOS / stardust-oxide
  Rust-based Unikernel
  ☆132Updated last year