starina-os / starina
An experimental modern general-purpose microkernel OS.
☆87Updated this week
Alternatives and similar repositories for starina:
Users that are interested in starina are comparing it to the libraries listed below
- A specialized hypervisor for Hermit.☆261Updated this week
- The Hermit bootloader.☆74Updated last week
- Source tree for the Verified Experimental Kernel Operating System, or VEKOS.☆203Updated last week
- A tiny x86_64 kernel written in Rust.☆79Updated 2 years ago
- xv6 OS☆238Updated last week
- A hobby x86-64 operating system written in Rust☆135Updated 7 months ago
- A L4-like micro-kernel OS written in Rust☆61Updated last year
- A proof-of-concept microkernel that runs WebAssembly natively.☆63Updated last year
- WebAssembly AoT compiler for your favorite Operating System☆271Updated 5 months ago
- A Rust library which is useful to handle xHCI☆43Updated 6 months ago
- Rust support for seL4 userspace☆135Updated last week
- A kernel written in Rust☆91Updated 3 months ago
- ☆52Updated 4 months ago
- Ergonomic Rust framework for writing UEFI applications.☆62Updated 2 months ago
- 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☆231Updated this week
- A low-level virtualization interface for Linux-based systems using WebAssembly☆101Updated last week
- RISC-V OS written in Rust☆139Updated 8 months ago
- Rust operating system running WebAssembly as userspace in ring 0☆164Updated 4 years ago
- A hobby operating system☆51Updated 3 months ago
- An Operating System for Building Small Computers☆273Updated last month
- A playground to build C/C++/Go/Fortran applications on top of RustyHermit☆33Updated 8 months ago
- 🌀 Microkernel Real-Time Operating System in Rust☆32Updated last year
- Stitch is an experimental Wasm interpreter written in Rust that is designed to be very fast and lightweight.☆118Updated 10 months ago
- A secure, fast, and adaptable OS based on the seL4 microkernel☆113Updated this week
- The Kernel of CharlotteOS☆112Updated 4 months ago
- A small Wasm Runtime☆184Updated 5 months ago
- A Rust-based userland which also adds compile-time assurances to seL4 development.☆111Updated last year
- Manipulate LLVM-IR in Pure Rust☆219Updated 2 years ago
- A Raspberry Pi OS Kernel in Rust☆32Updated 4 months ago