Ko-oK-OS / xv6-rust

Related projects: ⓘ

• skyzh / core-os-riscv
  🖥️ An xv6-like operating system on RISC-V with multi-core support. Documentation available online.
  ☆293Updated 3 years ago
• rustsbi / rustsbi-qemu
  QEMU platform SBI support implementation, using RustSBI
  ☆126Updated 5 months ago
• Jaic1 / xv6-riscv-rust
  ☆67Updated 2 years ago
• arceos-org / arceos
  An experimental modular OS written in Rust.
  ☆478Updated this week
• siriusdemon / Rare
  Build your own Riscv Emulator in Rust.
  ☆103Updated 2 years ago
• PKUFlyingPig / CS110L
  Stanford CS110L: Safety in Systems Programming
  ☆40Updated 3 years ago
• HUST-OS / xv6-k210
  Port XV6 to K210 board!
  ☆130Updated 3 years ago
• oscomp / os-competition-info
  "全国大学生操作系统比赛2024"相关信息
  ☆253Updated last month
• fung-hwang / CS110L-2020spr
  Assignments of Stanford CS110L-2020spr: Safety in Systems Programming
  ☆41Updated last year
• wyfcyx / osnotes
  Some notes or translations about operating system or programming language.
  ☆91Updated 2 months ago
• pku-minic / koopa
  Library for generating/parsing/optimizing Koopa IR.
  ☆99Updated 5 months ago
• mit-pdos / xv6-riscv-fall19
  6.S081/6.828 lab repo for fall 2019
  ☆198Updated 3 years ago
• ksco / rvld
  Learn how to write a minimal working linker from scratch
  ☆94Updated 4 months ago
• reberhardt7 / cs110l-spr-2020-starter-code
  Stanford CS 110L Spring 2020 assignment starter code
  ☆101Updated last month
• equation314 / RVM-Tutorial
  Let's write an x86 hypervisor in Rust from scratch!
  ☆139Updated last year
• yunwei37 / os-summer-of-code-daily
  OS Summer of Code 2020 每日学习实践记录（rust 学习 & rcore tutorial rust实现一个riscv操作系统 & rCore 到 zCore 的功能迁移）
  ☆81Updated 2 years ago
• LearningOS / oscomp-kernel-training
  ☆48Updated last year
• rcore-os / blog
  rcore-os Developer Blog
  ☆38Updated 2 months ago
• shzhxh / xv6-riscv-book-CN
  xv6-riscv-book中译版
  ☆78Updated 4 months ago
• systemxlabs / bustubx
  [WIP] A relational database written in Rust for educational purpose, heavily inspired by cmu-db/bustub. (CMU 15-445).
  ☆123Updated 5 months ago
• storage-db / nerdos
  一种支持多种架构嵌入式领域的实时操作系统，支持网络通信和grub启动
  ☆65Updated last year
• jackwang0108 / JackOS
  An educational Operating system written by Jack Wang.
  ☆23Updated last year
• jiangyy / mosaic
  The MOSAIC Operating Systems Model and Checker
  ☆160Updated last year
• imtsuki / xv7
  🦀️ Operating System in 100% Pure Rust
  ☆100Updated 3 years ago
• rcore-os / rCore-Tutorial
  Tutorial for rCore OS step by step (3rd edition)
  ☆462Updated last year
• oscomp / testsuits-for-oskernel
  ☆95Updated last month
• decaf-lang / minidecaf-tutorial
  The MiniDecaf tutorial documentation.
  ☆88Updated this week
• KuangjuX / xv6-riscv-solution
  MIT 6.S081 xv6-riscv solution
  ☆76Updated 2 years ago
• NJU-ProjectN / os-workbench-2022
  ☆98Updated 4 months ago
• pleasewhy / xv6-book-2020-Chinese
  MIT 6.S801 xv6 book 2020版 中文翻译
  ☆180Updated 3 years ago