Explore projects

The seL4-tools with loongarch support, see official repositories at https://github.com/seL4

The util_libs with loongarch support, see official repositories at https://github.com/seL4

广州大学队，哪个队不重要队，proj28

The sel4test with loongarch support, see official repositories at https://github.com/seL4

西华大学，LW战队，proj166-基于RISC-V的FreeRTOS国密算法功能实现

电子科技大学 0x7c00 proj116

我太菜了找不到工作就要去要饭了，齐鲁理工学院

A Symmetric Multiprocessing OS Kernel over RISC-V

zgmos, 合肥工业大学宣城校区

The Yu (羽) programming language.

浙江大学，牛校牛子队，proj118

北京交通大学，#DIV/0!队 ，proj32

学校：重庆理工大学 队伍名称：还有这事？！ 所选赛题：proj20

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