Alternatives and similar repositories for leos-kernel

Users that are interested in leos-kernel are comparing it to the libraries listed below

• wenyuzhao / Sophon
  A Raspberry Pi OS Kernel in Rust
  ☆36Updated 11 months ago
• diodesign / diosix
  A lightweight, secure, multiprocessor bare-metal hypervisor written in Rust for RISC-V
  ☆198Updated 9 months ago
• reynoldsbd / bootloader-uefi
  A pure-Rust UEFI bootloader
  ☆30Updated 7 years ago
• vincenthouyi / LakeOS
  A L4-like micro-kernel OS written in Rust
  ☆66Updated last year
• rust-osdev / acpi
  Rust library for parsing ACPI tables and interpreting AML
  ☆228Updated last month
• metta-systems / vesper
  Single-address-space capability-based nanokernel
  ☆82Updated last week
• Dentosal / rust_os
  My hobby operating system microkernel written in Rust
  ☆45Updated 2 weeks ago
• NathanMcMillan54 / novusk
  A kernel written in Rust
  ☆92Updated 9 months ago
• robert-w-gries / rxinu
  Rust implementation of Xinu educational operating system
  ☆34Updated 4 years ago
• alilee / rust-osdev-jumpstart
  Rust, cargo and QEMU setup for multi-architecture OS development.
  ☆40Updated 4 years ago
• gurry / efi
  Ergonomic Rust framework for writing UEFI applications.
  ☆65Updated 8 months ago
• richard-w / uefi-run
  Run UEFI applications
  ☆101Updated 2 years ago
• mark-i-m / os2
  x86_64 OS kernel with completely async userspace and single address space [WIP; but basic kernel functionality implemented]
  ☆31Updated 5 years ago
• rust-osdev / xhci
  A Rust library which is useful to handle xHCI
  ☆46Updated last year
• moratorium08 / osmium
  A toy operating system written in Rust on RISC V(rv32im)
  ☆206Updated 2 years ago
• ids1024 / rust-minix
  WIP Port of Rust's std to Minix
  ☆45Updated 5 years ago
• toku-sa-n / ramen
  A toy OS written in Rust supporting xHCI.
  ☆43Updated last year
• rust-osdev / multiboot2
  Rusty wrappers for Multiboot2.
  ☆125Updated this week
• mit-pdos / RVirt
  RISC-V hypervisor written in Rust
  ☆363Updated 5 years ago
• eggman / raspberrypi
  Raspberry Pi bare metal code for qemu raspi2 and raspi3.
  ☆54Updated 4 years ago
• r-efi / r-efi
  UEFI Reference Specification Protocol Constants and Definitions
  ☆116Updated 3 months ago
• au-ts / libvmm
  A virtual machine monitor for the seL4 microkernel
  ☆43Updated this week
• bendudson / EuraliOS
  A hobby x86-64 operating system written in Rust
  ☆143Updated last year
• IsaacWoods / poplar
  Toy microkernel and userspace written in Rust, exploring modern ideas
  ☆260Updated 2 weeks ago
• nbdd0121 / r2vm
  Rust RISC-V Virtual Machine
  ☆108Updated last month
• Javier-varez / p1c0
  An embedded OS for Apple M1 Pro chipsets
  ☆18Updated 2 years ago
• gz / rust-elfloader
  Library to load and relocate ELF files.
  ☆131Updated 2 years ago
• rust-vmm / linux-loader
  Linux kernel loader
  ☆202Updated last month
• iankronquist / rustyvisor
  A hypervisor written in Rust.
  ☆125Updated 3 years ago
• ajxs / uefi-elf-bootloader
  UEFI ELF Bootloader example
  ☆101Updated 7 months ago