Site logo
Stories around the Genode Operating System RSS feed
  • Stefan Kalkowski avatar

    Docker image with Genode toolchain 23.05

    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...

  • Stefan Kalkowski avatar

    Genode development container

    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...