genode
Genode OS 框架是一个开源工具包，用于构建高度安全的基于组件的操作系统。 它可以从嵌入式设备扩展到动态通用计算。（The Genode OS framework is an open-source tool kit for building highly secure component-based operating systems. It scales from embedded devices to dynamic general-purpose computing.）
Main metrics
Overview
| Name With Owner | genodelabs/genode |
|---|---|
| Primary Language | C++ |
| Program language | Makefile (Language Count: 20) |
| Platform | Linux |
| License: | Other |
| Release Count | 73 |
| Last Release Name | 25.05 (Posted on 2025-05-28 11:45:20) |
| First Release Name | 11.11 (Posted on 2012-01-03 15:34:45) |
| Created At | 2011-12-20 08:27:40 |
| Pushed At | 2025-06-12 13:57:07 |
| Last Commit At | 2025-05-27 11:59:35 |
| Stargazers Count | 1124 |
| Watchers Count | 82 |
| Fork Count | 260 |
| Commits Count | 14251 |
| Has Issues Enabled | |
| Issues Count | 5346 |
| Issue Open Count | 110 |
| Pull Requests Count | 2 |
| Pull Requests Open Count | 1 |
| Pull Requests Close Count | 249 |
| Has Wiki Enabled | |
| Is Archived | |
| Is Fork | |
| Is Locked | |
| Is Mirror | |
| Is Private |
