starina-os / starina
An experimental modern general-purpose microkernel OS.
☆92Updated this week
Alternatives and similar repositories for starina:
Users that are interested in starina are comparing it to the libraries listed below
- Source tree for the Verified Experimental Kernel Operating System, or VEKOS.☆203Updated last month
- xv6 OS☆238Updated 3 weeks ago
- A proof-of-concept microkernel that runs WebAssembly natively.☆63Updated last year
- WebAssembly AoT compiler for your favorite Operating System☆272Updated 5 months ago
- The Hermit bootloader.☆74Updated this week
- A hobby x86-64 operating system written in Rust☆136Updated 8 months ago
- ☆52Updated 5 months ago
- Rust operating system running WebAssembly as userspace in ring 0☆164Updated 4 years ago
- A tiny x86_64 kernel written in Rust.☆79Updated 2 years ago
- A L4-like micro-kernel OS written in Rust☆62Updated last year
- Operating system based off of blog_os, with the goal of running wasm modules as executables☆23Updated last year
- An implementation of libc written in Rust☆280Updated 3 weeks ago
- A kernel written in Rust☆92Updated 3 months ago
- The Kernel of CharlotteOS☆112Updated 4 months ago
- Rust support for seL4 userspace☆135Updated this week
- A demonstrative cryptographically secure RISC-V bootloader written in Rust for a final year project at The University of Manchester☆65Updated 7 months ago
- An Operating System for Building Small Computers☆276Updated 2 months ago
- RISC-V OS written in Rust☆139Updated 9 months ago
- A specialized hypervisor for Hermit.☆262Updated last week
- The Xr0 Verifier for C☆180Updated this week
- A Rust library which is useful to handle xHCI☆44Updated 6 months ago
- A Rust-based userland which also adds compile-time assurances to seL4 development.☆115Updated last year
- Rust, cargo and QEMU setup for multi-architecture OS development.☆37Updated 4 years ago
- Build your own - linker☆193Updated 3 years ago
- A hobby operating system☆51Updated 3 months ago
- Writing A Wasm Runtime In Rust☆46Updated 7 months ago
- Rust library for parsing ACPI tables and interpreting AML☆211Updated 2 weeks ago
- A toy operating system written in Rust on RISC V(rv32im)☆203Updated last year
- The sole purpose of this repository is to help me learn about WASI☆68Updated 4 months ago
- Rust-based Unikernel☆126Updated last year