starina-os / starinaLinks
An experimental modern general-purpose microkernel OS.
☆431Updated 3 months ago
Alternatives and similar repositories for starina
Users that are interested in starina are comparing it to the libraries listed below
Sorting:
- Source tree for the Verified Experimental Kernel Operating System, or VEKOS.☆211Updated 5 months ago
- An experimental operating system fully written in Rust, with a unikernel design, cooperative scheduling and a security model based on WAS…☆799Updated 7 months ago
- Writing a hypervisor in 1,000 lines.☆292Updated 4 months ago
- The R9 operating system☆779Updated this week
- An Operating System for Building Small Computers☆300Updated last year
- xv6 OS☆246Updated 4 months ago
- Experimental WASM Microkernel Operating System☆602Updated this week
- userspace nvme driver☆108Updated 6 months ago
- A simple, fast, and secure operating system for the cloud.☆1,066Updated this week
- Rex is a safe and usable kernel extension framework that allows loading and executing Rust kernel extension programs in the place of eBPF…☆492Updated this week
- A fast and flexible allocator for no_std and WebAssembly☆522Updated 7 months ago
- Rust Linux-compatible kernel☆1,669Updated this week
- A tiny, interpreted WebAssembly Runtime written in Rust☆550Updated 3 months ago
- Core POSIX command line utilities in safe Rust☆404Updated last week
- The Kernel of CharlotteOS, An Experimental Modern Operating System☆250Updated last week
- Rust support for seL4 userspace☆181Updated 2 months ago
- A Rust crate for containing memory leaks and fragmentation☆249Updated 9 months ago
- Patina Firmware☆508Updated this week
- Rust implementation of the Zstandard Seekable Format☆254Updated 2 weeks ago
- The Kernel of CharlotteOS☆113Updated last year
- A demonstrative cryptographically secure RISC-V bootloader written in Rust for a final year project at The University of Manchester☆67Updated last year
- A specialized hypervisor for Hermit.☆278Updated this week
- The strongly-typed, compiled embedded scripting language for Rust, used by Rotonda.☆447Updated this week
- A secure, fast, and adaptable OS based on the seL4 microkernel☆210Updated this week
- An implementation of libc written in Rust☆310Updated 3 months ago
- muvm - run programs from your system in a microVM☆790Updated last week
- VMM for native-performance sandboxing☆792Updated 2 months ago
- A low-level virtualization interface for Linux-based systems using WebAssembly☆169Updated this week
- Rust, cargo and QEMU setup for multi-architecture OS development.☆41Updated 5 years ago
- The Xr0 Verifier for C☆207Updated 9 months ago