Alternatives and similar repositories for starina:

Users that are interested in starina are comparing it to the libraries listed below

• JGiraldo29 / vekos
  Source tree for the Verified Experimental Kernel Operating System, or VEKOS.
  ☆203Updated last month
• dancrossnyc / rxv64
  xv6 OS
  ☆238Updated 3 weeks ago
• r1ru / WasmOS
  A proof-of-concept microkernel that runs WebAssembly natively.
  ☆63Updated last year
• mewz-project / wasker
  WebAssembly AoT compiler for your favorite Operating System
  ☆272Updated 5 months ago
• hermit-os / loader
  The Hermit bootloader.
  ☆74Updated this week
• bendudson / EuraliOS
  A hobby x86-64 operating system written in Rust
  ☆136Updated 8 months ago
• zdimension / parm_extended
  ☆52Updated 5 months ago
• kwast-os / kwast
  Rust operating system running WebAssembly as userspace in ring 0
  ☆164Updated 4 years ago
• Narasimha1997 / r3
  A tiny x86_64 kernel written in Rust.
  ☆79Updated 2 years ago
• vincenthouyi / LakeOS
  A L4-like micro-kernel OS written in Rust
  ☆62Updated last year
• yavko / yavkOS
  Operating system based off of blog_os, with the goal of running wasm modules as executables
  ☆23Updated last year
• sunfishcode / c-ward
  An implementation of libc written in Rust
  ☆280Updated 3 weeks ago
• NathanMcMillan54 / novusk
  A kernel written in Rust
  ☆92Updated 3 months ago
• CharlotteOS-Deprecated / charlotte-core
  The Kernel of CharlotteOS
  ☆112Updated 4 months ago
• seL4 / rust-sel4
  Rust support for seL4 userspace
  ☆135Updated this week
• LawrenceHunter / SentinelBoot
  A demonstrative cryptographically secure RISC-V bootloader written in Rust for a final year project at The University of Manchester
  ☆65Updated 7 months ago
• tosc-rs / mnemos
  An Operating System for Building Small Computers
  ☆276Updated 2 months ago
• repnop / vanadinite
  RISC-V OS written in Rust
  ☆139Updated 9 months ago
• hermit-os / uhyve
  A specialized hypervisor for Hermit.
  ☆262Updated last week
• xr0-org / xr0
  The Xr0 Verifier for C
  ☆180Updated this week
• rust-osdev / xhci
  A Rust library which is useful to handle xHCI
  ☆44Updated 6 months ago
• auxoncorp / ferros
  A Rust-based userland which also adds compile-time assurances to seL4 development.
  ☆115Updated last year
• alilee / rust-osdev-jumpstart
  Rust, cargo and QEMU setup for multi-architecture OS development.
  ☆37Updated 4 years ago
• andrewhalle / byo-linker
  Build your own - linker
  ☆193Updated 3 years ago
• neri / maystorm
  A hobby operating system
  ☆51Updated 3 months ago
• skanehira / writing-a-wasm-runtime-in-rust
  Writing A Wasm Runtime In Rust
  ☆46Updated 7 months ago
• rust-osdev / acpi
  Rust library for parsing ACPI tables and interpreting AML
  ☆211Updated 2 weeks ago
• moratorium08 / osmium
  A toy operating system written in Rust on RISC V(rv32im)
  ☆203Updated last year
• danbev / learning-wasi
  The sole purpose of this repository is to help me learn about WASI
  ☆68Updated 4 months ago
• StardustOS / stardust-oxide
  Rust-based Unikernel
  ☆126Updated last year