Explore projects

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

😍 Rust实现的类Linux操作系统，rCore-Tutorial-v3 练习

高校名称：合肥工业大学（HFUT） 队伍ID：T202419359994630 队伍名称：HFUT666 选题方向：OS原理（方向1 小型内核实现——从零开始使用 Rust 编写的运行在 RISC-V 架构上的简单类 Unix 操作系统内核实现） 项目名称：OSKernel2024-ROS666

杭州电子科技大学，T202510336997775，Error，原理赛道，ErrorOS教学级操作系统实验

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

西安电子科技大学，西电FSmaker，proj58

浙江大学-牛校牛子队-proj118 Eunomia - A lightweight eBPF-based CloudNative Monitor tool for Container Security and Observability https://yunwei37.github.io/Eunomia/

学校:北京理工大学 队伍名:GNP's Not Pro 项目:proj93

你说对那就队 proj118

2023全国大学生计算机系统能力大赛数据库管理系统设计赛 PingCAS队 天津理工大学

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

进击のOS 杭州电子科技大学

This is a simple OS for oscomp2021.

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

statos 重庆理工大学