hermit-os / hermit-playground
A playground to build C/C++/Go/Fortran applications on top of RustyHermit
☆34Updated 9 months ago
Alternatives and similar repositories for hermit-playground:
Users that are interested in hermit-playground are comparing it to the libraries listed below
- A specialized hypervisor for Hermit.☆261Updated this week
- Provides easy-to-use Linux seccomp-bpf jailing.☆84Updated 3 weeks ago
- A pure-Rust UEFI bootloader☆29Updated 6 years ago
- The Hermit bootloader.☆74Updated this week
- Pure-Rust libraries for parsing, interpreting, and analyzing LLVM☆80Updated last year
- ☆35Updated last year
- A VMM implementation based of rust-vmm components☆152Updated 7 months ago
- Experimental kernel with built-in replication.☆157Updated last year
- Run UEFI applications☆94Updated 2 years ago
- x86_64 OS kernel with completely async userspace and single address space [WIP; but basic kernel functionality implemented]☆31Updated 4 years ago
- Backtrace support for Rust `no_std` and embedded programs.☆48Updated last year
- Raw system calls for Rust☆98Updated last year
- A hypervisor written in rust☆55Updated 2 years ago
- The Solid-State Register Allocator☆84Updated 2 years ago
- Handle TrapFrame across kernel and user space on multiple ISAs.☆33Updated 9 months ago
- dlmalloc ported into Rust☆102Updated last month
- Safe wrappers for VFIO☆14Updated 3 years ago
- Rust support for seL4 userspace☆141Updated 3 weeks ago
- ☆53Updated 2 months ago
- A lightweight, secure, multiprocessor bare-metal hypervisor written in Rust for RISC-V☆196Updated 3 months ago
- Provides allocations and release strategies for resources used during the lifetime of a VM.☆30Updated last month
- Simple RISC-V emulator presented at Rust Nation 2023☆63Updated 2 years ago
- Single-address-space capability-based nanokernel☆81Updated this week
- An implementation of ext2 filesystem in Rust☆31Updated 7 years ago
- Helpers and utilities used by multiple rust-vmm components and VMMs☆80Updated 2 weeks ago
- Operating system based off of blog_os, with the goal of running wasm modules as executables☆23Updated 2 years ago
- ☆52Updated 6 months ago
- ☆74Updated 10 months ago
- Linux kernel loader☆197Updated last month
- BTF introspection tool☆38Updated 2 weeks ago