Explore projects

小骨头战队，重庆师范大学

This is a simple OS for oscomp2021.

TeamNameNotFound 重庆邮电大学

Port XV6 to K210 board!

rwos

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

哈尔滨工业大学（深圳），压缩鸭，proj64-匿名页压缩算法优化

^^^TOO_LOW^^^，北京航空航天大学

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

北方工业大学_Don‘t Panic

西安邮电大学-好家伙-proj120

This is HOIT-23o2 team. We are developing proj32-norflash-file-system-on-sylixos

RISC-V GC OS

上海纽约大学 门秋彤 基于eBPF技术的容器行为监控工具

学校：杭州电子科技大学

队伍名：HDU_702_OS_小分队

赛题：proj28

学校：杭州电子科技大学

队伍名：HDU_702_OS_小分队

赛题：proj28

CI GitHub actions for the seL4 repositories, see official repositories at https://github.com/seL4