starina-os / starina
An experimental modern general-purpose microkernel OS.
☆99Updated this week
Alternatives and similar repositories for starina
Users that are interested in starina are comparing it to the libraries listed below
Sorting:
- An implementation of libc written in Rust☆286Updated last week
- WebAssembly AoT compiler for your favorite Operating System☆276Updated 7 months ago
- Source tree for the Verified Experimental Kernel Operating System, or VEKOS.☆205Updated 2 months ago
- QEMU on browser☆121Updated last week
- xv6 OS☆237Updated 2 weeks ago
- A Rust library which is useful to handle xHCI☆44Updated 8 months ago
- A hobby x86-64 operating system written in Rust☆138Updated 9 months ago
- A L4-like micro-kernel OS written in Rust☆62Updated last year
- A kernel written in Rust☆93Updated 5 months ago
- The Hermit bootloader.☆75Updated last week
- A proof-of-concept microkernel that runs WebAssembly natively.☆65Updated last year
- Rust support for seL4 userspace☆152Updated last month
- A demonstrative cryptographically secure RISC-V bootloader written in Rust for a final year project at The University of Manchester☆65Updated 9 months ago
- A toy operating system written in Rust on RISC V(rv32im)☆204Updated 2 years ago
- Writing A Wasm Runtime In Rust☆51Updated 8 months ago
- Rust, cargo and QEMU setup for multi-architecture OS development.☆39Updated 4 years ago
- Build your own - linker☆198Updated 4 years ago
- Operating system based off of blog_os, with the goal of running wasm modules as executables☆23Updated 2 years ago
- Inspect and dissect an ELF file with pretty formatting.☆106Updated last year
- The Kernel of CharlotteOS☆112Updated 6 months ago
- Rust operating system running WebAssembly as userspace in ring 0☆166Updated 4 years ago
- A WebAssembly interpreter written in C☆99Updated this week
- Reference implementation for the book "Writing a RISC-V Emulator in Rust".☆379Updated 2 years ago
- A tiny x86_64 kernel written in Rust.☆80Updated 2 years ago
- A specialized hypervisor for Hermit.☆263Updated this week
- Raw Linux system calls for Rust.☆117Updated last month
- An Operating System for Building Small Computers☆280Updated 3 months ago
- Manipulate LLVM-IR in Pure Rust☆220Updated 2 years ago
- Library for parsing ELF files for Rust☆259Updated 3 months ago
- ☆52Updated 6 months ago