Genodians.org - Stories around the Genode Operating System

Docker image based on Ubuntu 24.04
March 25 2025 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 24.04 base system. Moreover, it now contains the Genode toolchain 23.05., Qemu 8.2, AMT tools to remote control x86 hardware, CTAGs tools to facilitate Linux device driver porting, and all necessary host tools to run almost any kernel, board, and run-script combination. Please note: for the time being OKL4-based scenarios cannot be build using this container, because its tooling depends on the ancient Python 2.6. Continue...
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 based on Ubuntu 24.04