Here are
15 public repositories
matching this topic...
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)
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
Updated
Aug 22, 2021
Makefile
Grain — an operating system and a civic application, built in the open, from first principles, with genuine joy.
Snapper: Persistent System Snapshots
The Genode Goa Hello World Example
Improve this page
Add a description, image, and links to the
genode
topic page so that developers can more easily learn about it.
Curate this topic
Add this topic to your repo
To associate your repository with the
genode
topic, visit your repo's landing page and select "manage topics."
Learn more
You can’t perform that action at this time.