Explore projects

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

天津大学，小螃蟹队，proj4

使用无监督学习和监督学习来预测股票

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

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

队伍名称：啊普鲁派哒哒哒哒哒"; DROP DATABASE teams; 学校名称：哈尔滨工业大学（深圳）

北京工商大学 我们都有光明的未来队 proj145

队伍名称：啊普鲁派哒哒哒哒哒"; DROP DATABASE teams; 学校名称：哈尔滨工业大学（深圳）

become_light，国防科技大学

北京工商大学 我们都有光明的未来队 proj145

WHW 南开大学

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

北京航空航天大学 对对对队 proj0-experiments-4-os-course

陆军工程大学，LGDGNS-1，proj46

重庆大学 哪里来的延迟槽队 proj93