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 3 months ago
• YdrMaster / rCore-Tutorial-in-single-workspace
  没分支的 rCore-Tutorial
  ☆46Updated 2 years ago
• rustsbi / fast-trap
  快速陷入处理
  ☆37Updated last week
• rcore-os / blog
  rcore-os Developer Blog
  ☆46Updated last week
• rustsbi / rustsbi-qemu
  QEMU platform SBI support implementation, using RustSBI
  ☆147Updated 9 months ago
• xiyurain / UltraOS
  A Rust based Multicore OS developed by UltraTeam, HITsz. Currently updated on https://gitee.com/LoanCold/ultraos_backup
  ☆46Updated last year
• rustsbi / rustsbi-tutorial
  rustsbi 开发教程
  ☆42Updated 2 years ago
• syswonder / ruxos
  Rust Unikernel OS
  ☆79Updated last week
• HUST-OS / luojia-os-labs
  洛佳的异步内核实验室
  ☆25Updated 4 years ago
• js2xxx / umi
  An RISC-V experimental OS
  ☆25Updated last year
• Byte-OS / ByteOS
  ☆24Updated 2 months ago
• storage-db / nerdos
  一种支持多种架构嵌入式领域的实时操作系统，支持网络通信和grub启动
  ☆66Updated 2 years ago
• rustsbi / sbi-rt
  Simple RISC-V SBI runtime library; designated for supervisor use
  ☆24Updated last year
• rcore-os / virtio-drivers
  VirtIO guest drivers in Rust.
  ☆265Updated 2 weeks ago
• KuangjuX / hypocaust-2
  hypocaust-2, a type-1 hypervisor with H extension run on RISC-V machine
  ☆56Updated last year
• OS-F-4 / usr-intr
  项目的主仓库
  ☆25Updated 2 years ago
• luojia65 / tiaoshi-dashi-sbi
  调试大师：你见过最强的内核调试器
  ☆35Updated 4 years ago
• LearningOS / oscomp-kernel-training
  ☆48Updated 2 years ago
• rcore-os / zCore-Tutorial
  [WIP] Tutorial for zCore kernel.
  ☆58Updated 3 years ago
• KuangjuX / hypocaust
  hypocaust, a S-mode trap and emulate type-1 hypervisor run on RISC-V machine.
  ☆48Updated 2 years ago
• luojia65 / DailySchedule
  ☆23Updated 3 years ago
• HUST-OS / design-pattern-notes
  各类内核的设计思路
  ☆19Updated 4 years ago
• rustsbi / slides
  All public report slides, articles and meeting minutes related to RustSBI
  ☆29Updated 3 weeks ago
• rcore-os / RVM
  Rcore Virtual Machine
  ☆116Updated last year
• rcore-os / riscv
  Low level access to RISCV processors
  ☆22Updated 2 years ago
• chyyuu / thoughts
  ☆42Updated 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
• TianhuaTao / uCore-SMP
  A Symmetric Multiprocessing OS Kernel over RISC-V
  ☆32Updated 3 years ago
• rcore-os / arceos-tutorial-book
  ☆46Updated last year
• yunwei37 / os-summer-of-code-daily
  OS Summer of Code 2020 每日学习实践记录（rust 学习 & rcore tutorial rust实现一个riscv操作系统 & rCore 到 zCore 的功能迁移）
  ☆85Updated 4 months ago