Alternatives and similar repositories for starina:

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

• hermit-os / loader
  The Hermit bootloader.
  ☆74Updated last week
• bendudson / EuraliOS
  A hobby x86-64 operating system written in Rust
  ☆137Updated 8 months ago
• rust-osdev / xhci
  A Rust library which is useful to handle xHCI
  ☆44Updated 7 months ago
• dancrossnyc / rxv64
  xv6 OS
  ☆237Updated last month
• sunfishcode / c-ward
  An implementation of libc written in Rust
  ☆284Updated last month
• vincenthouyi / LakeOS
  A L4-like micro-kernel OS written in Rust
  ☆62Updated last year
• CharlotteOS-Deprecated / charlotte-core
  The Kernel of CharlotteOS
  ☆112Updated 5 months ago
• hermit-os / uhyve
  A specialized hypervisor for Hermit.
  ☆261Updated last week
• seL4 / rust-sel4
  Rust support for seL4 userspace
  ☆141Updated 3 weeks ago
• mewz-project / wasker
  WebAssembly AoT compiler for your favorite Operating System
  ☆275Updated 6 months ago
• LawrenceHunter / SentinelBoot
  A demonstrative cryptographically secure RISC-V bootloader written in Rust for a final year project at The University of Manchester
  ☆65Updated 8 months ago
• seL4 / microkit
  Microkit - A simple operating system framework for the seL4 microkernel
  ☆114Updated last week
• NathanMcMillan54 / novusk
  A kernel written in Rust
  ☆92Updated 4 months ago
• au-ts / lionsos
  A secure, fast, and adaptable OS based on the seL4 microkernel
  ☆129Updated last week
• wenyuzhao / Sophon
  A Raspberry Pi OS Kernel in Rust
  ☆34Updated 5 months ago
• JGiraldo29 / vekos
  Source tree for the Verified Experimental Kernel Operating System, or VEKOS.
  ☆204Updated last month
• neri / maystorm
  A hobby operating system
  ☆51Updated 4 months ago
• arjunr2 / WALI
  A low-level virtualization interface for Linux-based systems using WebAssembly
  ☆110Updated last week
• Narasimha1997 / r3
  A tiny x86_64 kernel written in Rust.
  ☆79Updated 2 years ago
• au-ts / libvmm
  An experimental virtual machine monitor for the seL4 microkernel
  ☆38Updated this week
• moratorium08 / osmium
  A toy operating system written in Rust on RISC V(rv32im)
  ☆203Updated 2 years ago
• bootreer / vroom
  userspace nvme driver
  ☆98Updated 7 months ago
• alilee / rust-osdev-jumpstart
  Rust, cargo and QEMU setup for multi-architecture OS development.
  ☆38Updated 4 years ago
• nccgroup / freebsd-kernel-module-rust
  ☆60Updated 2 years ago
• xr0-org / xr0
  The Xr0 Verifier for C
  ☆180Updated this week
• ktock / qemu-wasm
  QEMU on browser
  ☆112Updated this week
• rafalmiel / cykusz-rs
  Toy operating system written in Rust
  ☆22Updated last month
• hermit-os / hermit-playground
  A playground to build C/C++/Go/Fortran applications on top of RustyHermit
  ☆34Updated 9 months ago
• gurry / efi
  Ergonomic Rust framework for writing UEFI applications.
  ☆64Updated 3 months ago
• nrdmn / uefi-examples
  UEFI examples in Zig
  ☆70Updated last year