Skip to content
@genodelabs

Genode Labs

Pinned Loading

  1. genode Public

    Genode OS Framework

    C++ 1.2k 269

  2. goa Public archive

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

    Tcl 31 20

Repositories

Showing 9 of 9 repositories
  • genode Public

    Genode OS Framework

    C++ 1,238 269 105 0 Updated Apr 21, 2026
  • goa Public archive

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

    Tcl 31 AGPL-3.0 20 8 1 Updated Feb 6, 2026
  • genode-world Public archive

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

    C 52 46 10 0 Updated Jan 29, 2026
  • genode-zynq Public archive

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

    C++ 9 11 0 0 Updated Jan 29, 2026
  • genode-rpi Public archive

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

    C++ 17 12 0 0 Updated Jan 29, 2026
  • genode-riscv Public archive

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

    C++ 8 6 0 0 Updated Jan 29, 2026
  • genode-imx Public archive

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

    C 11 13 2 0 Updated Jan 29, 2026
  • genode-allwinner Public archive

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

    C 17 10 3 0 Updated Jan 29, 2026
  • genodians.org Public archive

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

    C++ 19 10 0 0 Updated Dec 12, 2025

Top languages

C++ C Tcl