Alternatives and similar repositories for proj0-contest-and-lab-for-os-course

Users that are interested in proj0-contest-and-lab-for-os-course are comparing it to the libraries listed below

• hakula139 / xv6-armv8
  [WIP] Xv6, a simple Unix-like teaching operating system, re-implemented for ARMv8 (AArch64), written in C
  ☆18Updated 4 years ago
• KarmaD7 / rHyper
  ☆46Updated 2 years ago
• HUST-OS / xv6-k210
  Port XV6 to K210 board!
  ☆141Updated 4 years ago
• RiversJin / ToyOS
  A simple SMP OS on ARMv8a
  ☆23Updated 3 years ago
• KuangjuX / hypocaust-2
  hypocaust-2, a type-1 hypervisor with H extension run on RISC-V machine
  ☆55Updated last year
• XUANTIE-RV / buildroot
  Buildroot customized for Xuantie™ RISC-V CPU
  ☆45Updated 3 years ago
• luojia65 / DailySchedule
  ☆23Updated 3 years ago
• runninglinuxkernel / BenOS
  ☆71Updated 3 years ago
• chenzhiy2001 / code-debug
  Source-level operating system debugging tool that supports debugging kernel and multiple user processes synchronously. VSCode integration…
  ☆38Updated 3 months ago
• equation314 / nimbos
  An experimental RTOS written in Rust.
  ☆37Updated 2 years ago
• LearningOS / oscomp-kernel-training
  ☆48Updated 2 years ago
• adaptrum-richard / risc-v-bm
  ☆18Updated 2 years ago
• pleasewhy / startos
  rewrite subset of linux 2.6 by OOP, C++ advanced topics
  ☆11Updated 3 years ago
• bigmagic123 / d1-nezha-baremeta
  riscv64 d1-nezha baremeta(Allwinner D1 riscv chip)
  ☆81Updated 3 years ago
• hust-open-atom-club / docs
  华科开放原子开源俱乐部对外公开文档
  ☆16Updated last month
• js2xxx / umi
  An RISC-V experimental OS
  ☆25Updated last year
• rustsbi / rustsbi-tutorial
  rustsbi 开发教程
  ☆42Updated 2 years ago
• tyyteam / la-seL4
  The seL4 microkernel with loongarch support, see official repositories at https://github.com/seL4
  ☆20Updated 2 years ago
• SKTT1Ryze / xv6-k210
  Porting xv6-riscv on k210
  ☆19Updated 4 years ago
• ksco / rvemu
  A simple and fast RISC-V JIT emulator.
  ☆142Updated 10 months ago
• syswonder / hvisor
  a Rust Hypervisor for mission-critical system
  ☆109Updated this week
• plctlab / plct-qemu
  PLCT实验室维护的QEMU仓库。代码放在 plct- 前缀的分支里。
  ☆28Updated 11 months ago
• lizhirui / K210-Linux0.11
  Linux0.11 with MMU for K210(RISC-V) Version
  ☆90Updated 5 years ago
• gtxzsxxk / temu
  可移植的 RISC-V 解释执行模拟器。模拟了常见的SoC外设，支持运行主线Linux。A portable RISC-V emulator working in instruction-interpreting way. Common SoC peripherals ar…
  ☆91Updated 9 months ago
• Jrinx / Jrinx
  ARINC653 Multi-Partition Operating System Based On RISC-V, capable of running on SiFive HiFive Unmatched.
  ☆25Updated 2 years ago
• oscomp / 2021oscomp-best-kernel-design-impl
  2021年OS比赛获奖赛题（文档/代码开源），可用于2022年参赛同学的学习和提高
  ☆48Updated 3 years ago
• shzhxh / v9-doc
  CPU + xv6 + compiler
  ☆18Updated 7 years ago
• rustsbi / slides
  All public report slides, articles and meeting minutes related to RustSBI
  ☆29Updated last week
• z4yx / ucore-thumips
  uCore MIPS32 porting
  ☆18Updated 5 years ago
• arceos-hypervisor / axvisor
  Unified modular arceos-hypervisor
  ☆15Updated this week