starina-os / starina
An experimental modern general-purpose microkernel OS.
☆76Updated this week
Alternatives and similar repositories for starina:
Users that are interested in starina are comparing it to the libraries listed below
- A proof-of-concept microkernel that runs WebAssembly natively.☆63Updated 11 months ago
- ☆52Updated 4 months ago
- A L4-like micro-kernel OS written in Rust☆59Updated last year
- A hobby operating system☆51Updated 2 months ago
- Build your own - linker☆192Updated 3 years ago
- A hobby x86-64 operating system written in Rust☆133Updated 6 months ago
- Rust support for seL4 userspace☆129Updated 2 months ago
- xv6 OS☆238Updated 2 months ago
- WebAssembly AoT compiler for your favorite Operating System☆270Updated 4 months ago
- A Rust library which is useful to handle xHCI☆43Updated 5 months ago
- The Hermit bootloader.☆73Updated this week
- A WebAssembly interpreter written in C☆85Updated last month
- A tiny x86_64 kernel written in Rust.☆79Updated 2 years ago
- Pure-Rust libraries for parsing, interpreting, and analyzing LLVM☆80Updated last year
- The Xr0 Verifier for C☆179Updated this week
- Simple RISC-V emulator presented at Rust Nation 2023☆62Updated last year
- Operating system based off of blog_os, with the goal of running wasm modules as executables☆23Updated last year
- Inspect and dissect an ELF file with pretty formatting.☆100Updated 11 months ago
- A kernel written in Rust☆91Updated 2 months ago
- A playground to build C/C++/Go/Fortran applications on top of RustyHermit☆33Updated 7 months ago
- A small Wasm Runtime☆183Updated 4 months ago
- C11 compiler with GNU extensions for x86-64 Linux, working towards C23☆119Updated this week
- An Operating System for Building Small Computers☆270Updated 3 weeks ago
- Toy operating system written in Rust☆22Updated this week
- LLVM alternative in Rust☆15Updated 8 months ago
- An implementation of libc written in Rust☆224Updated last month
- Source tree for the Verified Experimental Kernel Operating System, or VEKOS.☆181Updated last week
- A demonstrative cryptographically secure RISC-V bootloader written in Rust for a final year project at The University of Manchester☆64Updated 6 months ago
- The Solid-State Register Allocator☆84Updated 2 years ago
- A toy OS written in Rust supporting xHCI.☆42Updated last year