hermit-os / hermit-playgroundLinks
A playground to build C/C++/Go/Fortran applications on top of RustyHermit
☆40Updated 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:
- A specialized hypervisor for Hermit.☆276Updated this week
- The Hermit bootloader.☆79Updated last week
- Rust support for seL4 userspace☆170Updated 2 weeks ago
- A VMM implementation based of rust-vmm components☆154Updated last year
- Provides easy-to-use Linux seccomp-bpf jailing.☆101Updated last week
- Linux kernel loader☆207Updated 2 weeks ago
- 'vhost-user' device backends workspace☆102Updated last week
- Pure-Rust libraries for parsing, interpreting, and analyzing LLVM☆81Updated last year
- A secure, fast, and adaptable OS based on the seL4 microkernel☆152Updated this week
- A tiny x86_64 kernel written in Rust.☆82Updated 3 years ago
- A Rust-based userland which also adds compile-time assurances to seL4 development.☆118Updated 2 years ago
- Experimental kernel with built-in replication.☆162Updated 3 months ago
- A lightweight, secure, multiprocessor bare-metal hypervisor written in Rust for RISC-V☆199Updated 10 months ago
- Miralis is a RISC-V firmware that virtualizes RISC-V firmware☆38Updated 2 weeks ago
- A demonstrative cryptographically secure RISC-V bootloader written in Rust for a final year project at The University of Manchester☆66Updated last year
- Provides allocations and release strategies for resources used during the lifetime of a VM.☆32Updated last week
- Inspect and dissect an ELF file with pretty formatting.☆115Updated last year
- ☆144Updated last year
- Simple RISC-V emulator presented at Rust Nation 2023☆66Updated 2 years ago
- ☆60Updated 5 months ago
- A dynamic library bundling the guest payload consumed by libkrun☆106Updated last month
- ☆77Updated 2 years ago
- An application template for Hermit for Rust.☆36Updated this week
- Single-address-space capability-based nanokernel☆84Updated last week
- Lints for kernel or embedded system development.☆125Updated last week
- 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
- A kernel written in Rust☆92Updated 11 months ago
- A L4-like micro-kernel OS written in Rust☆66Updated last year
- A low-level virtualization interface for Linux-based systems using WebAssembly☆156Updated 2 weeks ago
- Rust RISC-V Virtual Machine☆110Updated 2 months ago