Explore projects

2020年全国大学生计算机系统能力大赛—— 编译系统设计赛（第一届）

2021年全国大学生计算机系统能力大赛—— 编译系统设计赛(第二届)

2023全国大学生计算机系统能力大赛数据库管理系统设计赛

目前在RISC-V平台的OS还较少，支持MMU的OS也比较少，因此本项目以支持MMU虚拟内存机制的RT-Thread Smart（简称rt-smart）为基础，在qemu上以及K210上实现运行。

2022年全国大学生计算机系统能力大赛—— 编译系统设计赛（第三届）

2023年全国大学生计算机系统能力大赛—— 编译系统设计赛(第四届)

哈尔滨工业大学（深圳）UltraTEAM用Rust语言开发的多核操作系统UltraOS

2024年全国大学生计算机系统能力大赛-数据库管理系统设计赛

2025年全国大学生计算机系统能力大赛-数据库管理系统设计赛（第三届）

高校名称：华东师范大学 队伍ID：T202510269995497 队伍名：Backpack 选题：proj50——将 Ethercat 主站移植到 SylixOS 上并操控六轴机器人

队伍：PLNTRY 学校：西安交通大学 Github 镜像：@js2xxx/umi

学校名称：华中科技大学 队伍ID：T202410487992786 队伍名称：程序打桩队 所选题目：proj103

河南科技大学-啊队队队 ByteOS

消失的发际线，上海海洋大学

高校名称：合肥工业大学（HFUT） 队伍ID：T202419359994630 队伍名称：HFUT666 选题方向：OS原理（方向1 小型内核实现——从零开始使用 Rust 编写的运行在 RISC-V 架构上的简单类 Unix 操作系统内核实现） 项目名称：OSKernel2024-ROS666

本项目包含多个仓库，当前仓库仅包含seL4微内核代码。 为了移植seL4微内核并运行测试程序，本团队fork了多个官方仓库，各仓库信息见readme。 seL4官方仓库地址：https://github.com/seL4。 中国科学技术大学，涛羊羊队（刘庆涛，雷洋，陈洋），题目：proj97-la-seL4。

哈尔滨工业大学（深圳）-Oops

西安邮电大学 起个啥队名好呢 proj118-eBPF-based-monitor-for-container