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…
  ☆38Updated last month
• rustsbi / fast-trap
  快速陷入处理
  ☆36Updated 3 months ago
• YdrMaster / rCore-Tutorial-in-single-workspace
  没分支的 rCore-Tutorial
  ☆45Updated 2 years ago
• xiyurain / UltraOS
  A Rust based Multicore OS developed by UltraTeam, HITsz. Currently updated on https://gitee.com/LoanCold/ultraos_backup
  ☆45Updated 11 months ago
• rcore-os / blog
  rcore-os Developer Blog
  ☆45Updated this week
• HUST-OS / luojia-os-labs
  洛佳的异步内核实验室
  ☆25Updated 3 years ago
• rustsbi / sbi-rt
  Simple RISC-V SBI runtime library; designated for supervisor use
  ☆23Updated last year
• luojia65 / tiaoshi-dashi-sbi
  调试大师：你见过最强的内核调试器
  ☆35Updated 4 years ago
• js2xxx / umi
  An RISC-V experimental OS
  ☆25Updated last year
• Byte-OS / ByteOS
  ☆20Updated 3 weeks ago
• KuangjuX / hypocaust
  hypocaust, a S-mode trap and emulate type-1 hypervisor run on RISC-V machine.
  ☆48Updated 2 years ago
• TianhuaTao / uCore-SMP
  A Symmetric Multiprocessing OS Kernel over RISC-V
  ☆30Updated 2 years ago
• rcore-os / arceos-tutorial-book
  ☆44Updated last year
• rustsbi / rustsbi-hifive-unmatched
  RustSBI support on SiFive FU740 board; FU740 is a five-core heterogeneous processor with four SiFive U74 cores, and one SiFive S7 core
  ☆17Updated last year
• rcore-os / aCore
  Asynchronous OS kernel written in Rust.
  ☆34Updated 4 years ago
• rcore-os / riscv
  Low level access to RISCV processors
  ☆22Updated 2 years ago
• KuangjuX / hypocaust-2
  hypocaust-2, a type-1 hypervisor with H extension run on RISC-V machine
  ☆55Updated last year
• syswonder / ruxos
  Rust Unikernel OS
  ☆77Updated this week
• rustsbi / rustsbi-tutorial
  rustsbi 开发教程
  ☆41Updated 2 years ago
• HUST-OS / design-pattern-notes
  各类内核的设计思路
  ☆19Updated 3 years ago
• rcore-os / nvme_driver
  ☆30Updated last year
• chyyuu / thoughts
  ☆42Updated last year
• equation314 / nimbos
  An experimental RTOS written in Rust.
  ☆36Updated 2 years ago
• rcore-os / RVM
  Rcore Virtual Machine
  ☆114Updated last year
• Gallium70 / rv-n-ext-impl
  ☆13Updated 2 years ago
• xen0n / larva
  PoC LoongArch - RISC-V emulator
  ☆32Updated last year
• rustsbi / rustsbi-qemu
  QEMU platform SBI support implementation, using RustSBI
  ☆144Updated 6 months ago
• rcore-os / zCore-Tutorial
  [WIP] Tutorial for zCore kernel.
  ☆58Updated 3 years ago
• rustsbi / slides
  All public report slides, articles and meeting minutes related to RustSBI
  ☆29Updated last week
• rcore-os / rcore-fs
  The file system module for rCore OS.
  ☆49Updated 10 months ago