Explore projects
-
Single / OSKernel2024-Single
GNU General Public License v3.0 or laterUpdated -
-
qing zhou / proj110-os-operator
GNU Affero General Public License v3.0重庆邮电大学，TD-SCDMA3G队，proj110
Updated -
皮皮虾 / project0-RVM-Tutorial-GuestOS
GNU General Public License v3.0 or laterUpdated -
我能把OS代码写队 / OS2025-ANOS-57
Mulan Permissive Software License, Version 2华东师范大学-T202510269997685-我能把OS代码写队-操作系统原理赛道-内核实现方向-ANOS-57
Updated -
每天都是星期六 / OS2025-Kernel-SaturdayOS
GNU General Public License v3.0 or later杭州电子科技大学，T202510336998029，每天都是星期六，操作系统原理-内核开发，SaturdayOS-基于rCore教学内核的扩展与重构
Updated -
-
ᕕ(◠ڼ◠)ᕗ旺仔 / OSKernel2024-AronaOS
GNU General Public License v3.0 or laterT202410213992561 ᕕ(◠ڼ◠)ᕗ旺仔 哈尔滨工业大学
Updated -
CI GitHub actions for the seL4 repositories, see official repositories at https://github.com/seL4
Updated -
哈气吉米喵喵队 / proj407
MIT LicenseUpdated -
哈气吉米喵喵队 / proj407-操作系统异常信息检测工具
MIT License高校名称：兰州大学 队伍id：T202510730997597 队伍名称：哈气吉米喵喵队 项目名称：proj407
Updated -
-
GalOS / project3035746
Apache License 2.0Updated -
-
上海电力大学，T202510256997771，何意味队，操作系统应用开发-面向“3+X“模式的多元化实践学分管理系统
Updated -
功夫外卖队 / OSKernel2024-NaiveOS
GNU General Public License v3.0 or laterUpdated -
Updated
-
dwg / OSKernel2025-X
GNU Affero General Public License v3.0Updated