Explore projects

兰州大学，是的我们是有一个OS，proj0

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

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

Ahamolett，重庆工商大学

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

从Zynq PS复位启动标签化RISC-V子系统的参考代码，由张传奇编写

队伍名称：段错误 学校名称：杭州电子科技大学

队伍名称：404小队 学校：中国科学院大学

become_light，国防科技大学

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

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

重庆大学，操斧作斤小分队，proj32

android/system/libhwbinder

天津大学，小螃蟹队，proj4

There Easy Pieces，南京大学

FTL OS 哈尔滨工业大学（深圳）

Maturin / 清华大学