Genodians.org - Stories around the Genode Operating System

Docker image with Genode toolchain 23.05
August 22 2023 by Stefan Kalkowski

The pre-built docker image to easily develop Genode on top of arbitrary host systems got updated to a more recent Ubuntu 22.04 base system. Moreover, it now contains the last Genode toolchain 23.05., Qemu 6.2, and all necessary host tools to run any kernel, board, and run-script combination. Continue...
Genode development container
September 29 2020 by Stefan Kalkowski

In the past, the question was asked several times: why doesn't Genode provide a development container, e.g., a docker image. The question was raised by some community members, as well as people interested in giving Genode a try. They did not want to install an additional compiler toolchain and a bunch of tools and thereby pollute their daily working environment. Continue...

Docker image with Genode toolchain 23.05