开源序GitHub 开源项目排行

seL4 / seL4

seL4 微内核

仓库 Star: 5,859总榜 #10,130
Fork: 823
最近推送: 今天更新
仓库创建: 2014 年创建

应用与完整系统操作系统与内核C许可证未声明

用途与标签

用之前确认

没有声明许可证：商用和分发条件无法确认，使用前请联系作者。

部署与运维开发者工具 # microkernel # os # sel4 # sel4-microkernel

Star 走势

含按 GitHub 历史估算的数值

原始观测记录 · 2

历史观测
采集时间	仓库 Star	数据来源
2026-11-06 11:57 UTC	5,859	数据来源
2026-11-03 08:28 UTC	5,849	数据来源