Explore projects

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

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

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

图漏图森破，BUAA

南开大学 库乐队 proj105

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

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

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

本项目由南开大学 希望都队（队伍编号T2026100559910394）选题proj47 完成 StrideANN 是一个面向大模型 Agent 长时记忆场景的外存向量检索系统原型。项目以 DiskANN 的 SSD 常驻图索引为基础，在内存受限、查询并发高、读写混合的条件下，围绕图检索带来的随机 I/O 瓶颈进行系统级优化。我们的目标不是重新实现一个完整向量数据库，而是在 DiskANN 风格的底层索引和存储引擎上，面向 Agent memory进行读优化、写优化以及相关的agent memory的适配。

你说对那就队 proj118

哈尔滨工业大学（深圳），编译通过求求了，proj117-smart-flash-fs

深大SKT内核实现组，深圳大学

statos 重庆理工大学

西安交通大学X2W参赛队参赛作品：2023全国大学生计算机系统能力大赛-操作系统赛-内核实现赛道

人工式生成智能 南开大学