Alternatives and similar repositories for polyhal

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

• chenzhiy2001 / code-debug
  Source-level operating system debugging tool that supports debugging kernel and multiple user processes synchronously. VSCode integration…
  ☆37Updated last month
• rustsbi / fast-trap
  快速陷入处理
  ☆39Updated 2 weeks ago
• rcore-os / blog
  rcore-os Developer Blog
  ☆49Updated last month
• rustsbi / rustsbi-qemu
  QEMU platform SBI support implementation, using RustSBI
  ☆152Updated 4 months ago
• YdrMaster / rCore-Tutorial-in-single-workspace
  没分支的 rCore-Tutorial
  ☆49Updated 3 weeks ago
• syswonder / ruxos
  Rust Unikernel OS
  ☆90Updated 2 weeks ago
• rcore-os / zCore-Tutorial
  [WIP] Tutorial for zCore kernel.
  ☆59Updated 4 years ago
• Byte-OS / ByteOS
  ☆26Updated 8 months ago
• js2xxx / umi
  An RISC-V experimental OS
  ☆25Updated 2 years ago
• KuangjuX / hypocaust-2
  hypocaust-2, a type-1 hypervisor with H extension run on RISC-V machine
  ☆59Updated 2 years ago
• xiyurain / UltraOS
  A Rust based Multicore OS developed by UltraTeam, HITsz. Currently updated on https://gitee.com/LoanCold/ultraos_backup
  ☆46Updated last year
• wyfcyx / osnotes
  Some notes or translations about operating system or programming language.
  ☆99Updated last year
• rustsbi / rustsbi-k210
  Kendryte K210 SBI support using RustSBI, provides privileged spec 1.12 environment by emulating it using 1.9.1
  ☆37Updated last year
• rustsbi / rustsbi-tutorial
  rustsbi 开发教程
  ☆42Updated 2 years ago
• storage-db / nerdos
  一种支持多种架构嵌入式领域的实时操作系统，支持网络通信和grub启动
  ☆66Updated 2 years ago
• rcore-os / RVM
  Rcore Virtual Machine
  ☆115Updated last year
• rustsbi / sbi-rt
  Simple RISC-V SBI runtime library; designated for supervisor use
  ☆25Updated 2 years ago
• rcore-os / riscv
  Low level access to RISCV processors
  ☆22Updated 3 years ago
• HUST-OS / luojia-os-labs
  洛佳的异步内核实验室
  ☆25Updated 4 years ago
• luojia65 / tiaoshi-dashi-sbi
  调试大师：你见过最强的内核调试器
  ☆36Updated 4 years ago
• rcore-os / virtio-drivers
  VirtIO guest drivers in Rust.
  ☆282Updated last week
• chyyuu / thoughts
  ☆42Updated 2 years ago
• syswonder / hvisor
  safe type-1 Rust Hypervisor for edge devices
  ☆165Updated this week
• Jaic1 / xv6-riscv-rust
  ☆75Updated 3 years ago
• OS-F-4 / usr-intr
  项目的主仓库
  ☆26Updated 3 years ago
• KuangjuX / hypocaust
  hypocaust, a S-mode trap and emulate type-1 hypervisor run on RISC-V machine.
  ☆49Updated 2 years ago
• yunwei37 / os-summer-of-code-daily
  OS Summer of Code 2020 每日学习实践记录（rust 学习 & rcore tutorial rust实现一个riscv操作系统 & rCore 到 zCore 的功能迁移）
  ☆86Updated 10 months ago
• Gallium70 / rv-n-ext-impl
  ☆12Updated 2 years ago
• pku-minic / koopa
  Library for generating/parsing/optimizing Koopa IR.
  ☆144Updated last month
• HUST-OS / xv6-k210
  Port XV6 to K210 board!
  ☆146Updated 4 years ago