hermit-os / hermit-playgroundLinks
A playground to build C/C++/Go/Fortran applications on top of RustyHermit
☆39Updated 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.☆79Updated last week
- A specialized hypervisor for Hermit.☆274Updated last week
- Rust support for seL4 userspace☆168Updated last month
- Provides easy-to-use Linux seccomp-bpf jailing.☆100Updated 2 weeks ago
- Linux kernel loader☆204Updated this week
- A lightweight, secure, multiprocessor bare-metal hypervisor written in Rust for RISC-V☆198Updated 9 months ago
- Experimental kernel with built-in replication.☆160Updated 2 months ago
- A VMM implementation based of rust-vmm components☆153Updated last year
- A kernel written in Rust☆92Updated 10 months ago
- ☆143Updated 11 months ago
- Inspect and dissect an ELF file with pretty formatting.☆115Updated last year
- 'vhost-user' device backends workspace☆102Updated this week
- 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.☆31Updated last week
- A dynamic library bundling the guest payload consumed by libkrun☆104Updated 2 weeks ago
- A L4-like micro-kernel OS written in Rust☆66Updated last year
- Lints for kernel or embedded system development.☆124Updated 2 weeks ago
- A secure, fast, and adaptable OS based on the seL4 microkernel☆146Updated this week
- Rust RISC-V Virtual Machine☆109Updated last month
- Virtual machine's guest memory crate☆335Updated last week
- ☆78Updated 2 years ago
- Creating a minimal ELF file☆119Updated 5 months ago
- ☆54Updated 2 months ago
- My hobby operating system microkernel written in Rust☆45Updated last month
- Rust library for parsing ACPI tables and interpreting AML☆227Updated last month
- Stack unwinding library in Rust☆127Updated 2 months ago
- A low-level virtualization interface for Linux-based systems using WebAssembly☆151Updated this week
- ☆37Updated last year
- Run UEFI applications☆101Updated 2 years ago
- Rusty wrappers for Multiboot2.☆125Updated last week