Skip to content
@genodelabs

Genode Labs

Pinned Loading

  1. genode Public

    Genode OS Framework

    C++ 1.1k 259

  2. goa Public

    Tool for streamlining the development of Genode applications

    Tcl 24 19

Repositories

Showing 9 of 9 repositories
  • genode Public

    Genode OS Framework

    C++ 1,136 259 146 1 Updated Aug 13, 2025
  • genode-world Public

    Collection of community-maintained components for Genode

    C 47 47 11 0 Updated Aug 13, 2025
  • genode-rpi Public

    Raspberry Pi family support for Genode OS framework

    C++ 15 12 0 0 Updated Aug 12, 2025
  • genode-imx Public

    i.MX SoC family support for the Genode OS framework

    C 9 13 2 0 Updated Aug 12, 2025
  • genode-zynq Public

    Zynq SoC support for the Genode OS framework

    C++ 7 11 0 0 Updated Aug 8, 2025
  • genode-riscv Public

    RISC-V board support

    C++ 7 5 0 0 Updated Jul 24, 2025
  • genode-allwinner Public

    Allwinner SoC support for the Genode OS framework

    C 16 10 3 0 Updated Jul 10, 2025
  • genodians.org Public

    Website for stories around the Genode operating system

    C++ 17 10 1 0 Updated Jun 11, 2025
  • goa Public

    Tool for streamlining the development of Genode applications

    Tcl 24 AGPL-3.0 19 12 2 Updated Jun 4, 2025

Top languages

C++ C Tcl