genode

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

Collection of community-maintained components for Genode (migrated to codeberg.org)

Tool for streamlining the development of Genode applications (migrated to codeberg.org)

Website for stories around the Genode operating system (migrated to codeberg.org)

Allwinner SoC support for the Genode OS framework (migrated to codeberg.org)

Raspberry Pi family support for Genode OS framework (migrated to codeberg.org)

i.MX SoC family support for the Genode OS framework (migrated to codeberg.org)

Game Engine On Demand

OS/2 personality (OS/2 API implementation on top of different kernels)

Zynq SoC support for the Genode OS framework (migrated to codeberg.org)

RISC-V board support (migrated to codeberg.org)

JavaScript on genode using the Moddable XS engine

Grain -- one maintainer's living field, worked in the open where anyone may watch the making. Here stand the sessions, the ledgers, the reds, and the thinking still warm from the hand that wrote it. The public template waits at grain-ww/grain, ready for your own. Arriving new? Come in; this door was left open for you.

Snapper: Persistent System Snapshots

The Genode Goa Hello World Example