hermit-os / hermit-playground
A playground to build C/C++/Go/Fortran applications on top of RustyHermit
☆32Updated 2 months ago
Related projects: ⓘ
- The Hermit bootloader.☆66Updated this week
- Experimental kernel with built-in replication.☆151Updated 6 months ago
- A specialized hypervisor for Hermit.☆254Updated this week
- Rust support for seL4 userspace☆111Updated last month
- x86_64 OS kernel with completely async userspace and single address space [WIP; but basic kernel functionality implemented]☆29Updated 4 years ago
- ☆53Updated last year
- Operating system based off of blog_os, with the goal of running wasm modules as executables☆22Updated last year
- LeOS operating system Kernel for AArch64 written in Rust☆73Updated 4 years ago
- Backtrace support for Rust `no_std` and embedded programs.☆45Updated last year
- Useful types for dealing with PCI☆30Updated last month
- Pure-Rust libraries for parsing, interpreting, and analyzing LLVM☆77Updated 7 months ago
- ☆36Updated 10 months ago
- dlmalloc ported into Rust☆93Updated 4 months ago
- Simple RISC-V emulator presented at Rust Nation 2023☆61Updated last year
- Library to load and relocate ELF files.☆113Updated last year
- A tiny x86_64 kernel written in Rust.☆80Updated last year
- Helpers and utilities used by multiple rust-vmm components and VMMs☆78Updated 2 weeks ago
- My hobby operating system microkernel written in Rust☆41Updated last year
- An implementation of ext2 filesystem in Rust☆29Updated 6 years ago
- Provides allocations and release strategies for resources used during the lifetime of a VM.☆29Updated last week
- A VMM implementation based of rust-vmm components☆146Updated last week
- Raw system calls for Rust☆94Updated last year
- WIP Port of Rust's std to Minix☆43Updated 4 years ago
- A pure-Rust UEFI bootloader☆29Updated 6 years ago
- Linux kernel loader☆182Updated last week
- A lightweight, secure, multiprocessor bare-metal hypervisor written in Rust for RISC-V☆190Updated 2 years ago
- ☆46Updated last month
- Raw Linux system calls for Rust.☆103Updated this week
- Provides easy-to-use Linux seccomp-bpf jailing.☆71Updated 2 months ago
- The Solid-State Register Allocator☆81Updated last year