genodelabs/genode
Genode OS Framework (migrated to https://codeberg.org/genodelabs/genode) observed · 2026-08-28
Health v2 · maintenance only
10/100
- Activity 83
- Release rhythm 69
- Longevity 100
Flags: archived no_license
How is this computed?
round(0.45*activity + 0.35*rhythm + 0.20*longevity); archived -> min(score, 10) — computed 2026-09-02. Adoption (stars, forks) is never an input.
- gap_med: 63
- age_days: 5370
- days_rel: 125
- days_push: 105
- n_releases_24m: 10
Adoption not part of the score
1253 stars · 273 forks observed · 2026-08-28
What it is AI-extracted, prompt v1, taxonomy v1, 2026-08-30, confidence not recorded
Genode is an open-source C++ framework for building highly secure, component-based operating systems using capability-based security and a recursive sandbox structure. It runs on multiple microkernels (NOVA, seL4, Fiasco.OC), Linux, and a custom kernel, scaling from embedded devices to general-purpose desktops via Sculpt OS.
Use cases
- build a custom secure operating system from sandboxed components
- develop embedded system software on ARM or RISC-V with a microkernel
- run legacy applications in isolated sandboxes with strict least-privilege policies
- create a general-purpose desktop OS with minimal trusted computing base
- experiment with capability-based security and L4 microkernel architectures
- port Unix applications to a component-based OS using the Goa SDK
- virtualize guest OSes on top of a microkernel with VirtualBox or a custom VMM
When to choose
- you need strong isolation and least-privilege architecture at the OS level
- you target embedded or general-purpose systems on x86, ARM, or RISC-V
- you want to compose an OS from small audited components across multiple kernels
- you are doing OS research or systems programming with capability-based security
When to avoid
- you need a mainstream OS with broad off-the-shelf driver and app support
- your team is unfamiliar with microkernel and capability-based concepts
- you need quick application development rather than OS-level engineering
- you require a permissive license without reviewing Genode's custom licensing terms
Facets
framework · maturity active
security embedded operating-systems security embedded-systems cross-platform embedded microkernel object-capabilities capability-based-security sandboxing osdev sculpt-os sel4 nova hypervisor cplusplus operating-system virtualization linux
6 sources
- readme: https://github.com/genodelabs/genode · fetched 2026-08-28 · 47b24de33d6d
- homepage: https://genode.org/ · fetched 2026-08-29 · bc274d0ea04b
- site_page: https://genode.org/about/index · fetched 2026-08-29 · cc308834fb20
- site_page: https://genode.org/documentation/index · fetched 2026-08-29 · 87a56a45fb9b
- site_page: https://genode.org/documentation/general-overview/index · fetched 2026-08-29 · b34d440509d2
- site_page: https://genode.org/documentation/genode-foundations/26.05/index.html · fetched 2026-08-29 · 02f96cfd3e70
Member repositories
| Repository | Role | Health v2 |
|---|---|---|
| genodelabs/genode | main | 10 |
For agents
markdown · JSON · MCP: product_card(name="genodelabs/genode")
Data as of 2026-08-30T08:39:29.467469+00:00 · Report a problem