# genodelabs/genode

Genode OS Framework (migrated to https://codeberg.org/genodelabs/genode)

Repository: https://github.com/genodelabs/genode
Canonical: https://ross.abutalabs.com/products/genode
Homepage: https://genode.org/
Language: C++
License: NOASSERTION
License Family: other
Topics: arm, cplusplus, framework, genode, goa, hypervisor, linux, microkernel, nova, object-capabilities, operating-system, osdev, riscv, sculpt-os, sel4, virtualization, x86, cpp
Archived: true
Last push: 2026-05-20T10:23:16+00:00

## Health v2 (maintenance only)
Score: 10/100 (v2, computed 2026-09-02T17:46:02.011165+00:00)
- activity 83, release rhythm 69, longevity 100
- inputs: {"age_days": 5370, "days_push": 105, "days_rel": 125, "gap_med": 63, "n_releases_24m": 10}
- flags: archived, no_license
- formula: round(0.45*activity + 0.35*rhythm + 0.20*longevity); archived -> min(score, 10)

## Adoption (not part of the score)
Stars 1253, forks 273 (observed 2026-08-28T04:04:08.619555+00:00)

## What it is
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
- artifact type: framework
- maturity: active
- function: security, embedded
- domain: operating-systems, security, embedded-systems
- platform: cross-platform, embedded
- tags: microkernel, object-capabilities, capability-based-security, sandboxing, osdev, sculpt-os, sel4, nova, hypervisor, cplusplus, operating-system, virtualization, linux

## Member repositories
- genodelabs/genode (main) score 10

## Provenance
- Observed fields: from GitHub, fetched 2026-08-28T04:04:08.619555+00:00.
- Health v2: computed from the inputs above; adoption is never an input.
- Inferred fields (summary, facets, guidance): AI-extracted, prompt v1, taxonomy v1, on 2026-08-30T05:07:28.519146+00:00, confidence not recorded.
  - readme: https://github.com/genodelabs/genode (fetched 2026-08-28T04:04:08.619555+00:00, sha 47b24de33d6d)
  - homepage: https://genode.org/ (fetched 2026-08-29T12:18:10.537504+00:00, sha bc274d0ea04b)
  - site_page: https://genode.org/about/index (fetched 2026-08-29T12:18:10.546740+00:00, sha cc308834fb20)
  - site_page: https://genode.org/documentation/index (fetched 2026-08-29T12:18:10.548724+00:00, sha 87a56a45fb9b)
  - site_page: https://genode.org/documentation/general-overview/index (fetched 2026-08-29T12:18:10.550513+00:00, sha b34d440509d2)
  - site_page: https://genode.org/documentation/genode-foundations/26.05/index.html (fetched 2026-08-29T12:18:10.559215+00:00, sha 02f96cfd3e70)
- Data as of 2026-08-30T08:39:29.467469+00:00.