Alternatives and similar repositories for proj226-arceos-kernel-components-frameworks:

Users that are interested in proj226-arceos-kernel-components-frameworks are comparing it to the libraries listed below

• oscomp / testsuits-for-oskernel
  ☆100Updated this week
• chenzhiy2001 / code-debug
  Source-level operating system debugging tool that supports debugging kernel and multiple user processes synchronously. VSCode integration…
  ☆35Updated 2 months ago
• oscomp / 2021oscomp-best-kernel-design-impl
  2021年OS比赛获奖赛题（文档/代码开源），可用于2022年参赛同学的学习和提高
  ☆47Updated 3 years ago
• tyyteam / la-seL4
  The seL4 microkernel with loongarch support, see official repositories at https://github.com/seL4
  ☆14Updated 2 years ago
• LearningOS / oscomp-kernel-training
  ☆47Updated 2 years ago
• jiangyy / mosaic
  The MOSAIC Operating Systems Model and Checker
  ☆168Updated last year
• plctlab / weloveinterns
  PLCT实验室实习生社区。
  ☆220Updated this week
• HUST-OS / xv6-k210
  Port XV6 to K210 board!
  ☆133Updated 3 years ago
• KuangjuX / hypocaust-2
  hypocaust-2, a type-1 hypervisor with H extension run on RISC-V machine
  ☆54Updated last year
• icsnju / visualinux
  A visualized debugging framework to aid in understanding the Linux kernel.
  ☆100Updated this week
• js2xxx / umi
  An RISC-V experimental OS
  ☆25Updated last year
• rcore-os / blog
  rcore-os Developer Blog
  ☆45Updated last month
• equation314 / RVM-Tutorial
  Let's write an x86 hypervisor in Rust from scratch!
  ☆150Updated last year
• kobayashi-compiler / kobayashi-compiler
  An optimizing compiler in the Chinese Collegiate Student System Capability Challenge (Compiler Track) 2021
  ☆61Updated 2 weeks ago
• greenhandzpx / Titanix
  Titanix: A Unix-like OS.
  ☆19Updated last year
• LearningInfiniTensor / learning-lm-rs
  ☆42Updated 2 months ago
• oscomp / os-competition-info
  "全国大学生操作系统比赛2025"相关信息
  ☆259Updated this week
• arceos-org / oscamp
  Experiments and course for oscamp.
  ☆10Updated last month
• nkgongxl / ucoreonrv
  ☆50Updated 4 years ago
• storage-db / nerdos
  一种支持多种架构嵌入式领域的实时操作系统，支持网络通信和grub启动
  ☆65Updated last year
• hust-open-atom-club / intro2oss
  开源软件通识课程 (Introduction to Open Source Software)，本课程暂定设计面向信息大类专业的大一学生
  ☆27Updated this week
• pku-minic / kira-rs
  The example SysY compiler Kira for PKU compiler course, written in Rust.
  ☆59Updated last year
• TrivialCompiler / TrivialCompiler
  A toy compiler written in C++17 that translates SysY (a C-like toy language) into ARM-v7a assembly.
  ☆138Updated 3 years ago
• LiuJiLan / RVOS_On_VisionFive2
  RVOS在VisionFive2开发板上的移植。
  ☆15Updated 9 months ago
• oscourse-tsinghua / undergraduate-topic
  http://os.cs.tsinghua.edu.cn/research/FrontPage#A.2BZyx50WvVi74-
  ☆17Updated last month
• Godones / rCoreloongArch
  ☆18Updated 8 months ago
• sunshaoce / rvcc-course
  ☆82Updated 9 months ago
• oscomp / proj121-page-table-using-hashtable
  使用哈希页表实现虚拟机的stage-2页表
  ☆7Updated 2 years ago
• arceos-hypervisor / arceos-umhv
  Unified modular arceos-hypervisor
  ☆11Updated last week
• chyyuu / thoughts
  ☆42Updated last year