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 | 74 |
| Last Release Name | 25.08 (Posted on 2025-08-28 12:01:50) |
| First Release Name | 11.11 (Posted on 2012-01-03 15:34:45) |
| Created At | 2011-12-20 08:27:40 |
| Pushed At | 2025-10-23 14:43:06 |
| Last Commit At | 2025-08-28 11:52:42 |
| Stargazers Count | 1163 |
| Watchers Count | 77 |
| Fork Count | 262 |
| Commits Count | 14493 |
| Has Issues Enabled | |
| Issues Count | 5465 |
| Issue Open Count | 179 |
| Pull Requests Count | 2 |
| Pull Requests Open Count | 1 |
| Pull Requests Close Count | 250 |
| Has Wiki Enabled | |
| Is Archived | |
| Is Fork | |
| Is Locked | |
| Is Mirror | |
| Is Private |
