hermit-os / hermit-playground
A playground to build C/C++/Go/Fortran applications on top of RustyHermit
☆33Updated 6 months ago
Alternatives and similar repositories for hermit-playground:
Users that are interested in hermit-playground are comparing it to the libraries listed below
- The Hermit bootloader.☆73Updated this week
- ☆35Updated last year
- Rust support for seL4 userspace☆125Updated 2 months ago
- A specialized hypervisor for Hermit.☆259Updated this week
- A VMM implementation based of rust-vmm components☆149Updated 4 months ago
- Provides easy-to-use Linux seccomp-bpf jailing.☆79Updated 3 weeks ago
- Experimental kernel with built-in replication.☆156Updated 10 months ago
- An experimental modern general-purpose microkernel OS.☆73Updated last month
- Helpers and utilities used by multiple rust-vmm components and VMMs☆79Updated 3 weeks ago
- Provides allocations and release strategies for resources used during the lifetime of a VM.☆30Updated 3 weeks ago
- 🌀 Microkernel Real-Time Operating System in Rust☆31Updated last year
- Simple RISC-V emulator presented at Rust Nation 2023☆61Updated last year
- A tiny x86_64 kernel written in Rust.☆79Updated 2 years ago
- Operating system based off of blog_os, with the goal of running wasm modules as executables☆22Updated last year
- ☆46Updated 3 weeks ago
- x86_64 OS kernel with completely async userspace and single address space [WIP; but basic kernel functionality implemented]☆31Updated 4 years ago
- ☆52Updated 3 months ago
- Useful types for dealing with PCI☆32Updated 3 months ago
- A pure-Rust UEFI bootloader☆29Updated 6 years ago
- Backtrace support for Rust `no_std` and embedded programs.☆48Updated last year
- ☆134Updated last month
- Linux kernel loader☆195Updated last month
- Raw system calls for Rust☆98Updated last year
- A L4-like micro-kernel OS written in Rust☆59Updated last year
- Stack unwinding library in Rust☆111Updated last month
- Virtual machine's guest memory crate☆315Updated 3 weeks ago
- Status Reports☆59Updated this week
- The Solid-State Register Allocator☆83Updated 2 years ago
- LeOS operating system Kernel for AArch64 written in Rust☆76Updated 4 years ago
- ☆141Updated 2 months ago