Skip to content

Instantly share code, notes, and snippets.

@dckc
Last active July 18, 2021 06:17
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save dckc/9246f9d013d08c0a50ebdbcaa4384146 to your computer and use it in GitHub Desktop.
Save dckc/9246f9d013d08c0a50ebdbcaa4384146 to your computer and use it in GitHub Desktop.
genode goa in docker
version: "3"
# depends on /usr/local/genode/tool/19.05
# https://genode.org/download/tool-chain
# usage:
# docker-compose run cpp-ide bash
# ref:
# https://genodians.org/nfeske/2019-11-25-goa
# based on:
# https://github.com/Bjoe/DockerImages/blob/master/genode-build-env-ubuntu/docker-compose.yml
services:
cpp-ide:
image: bojoe/genode-build-env-ubuntu
volumes:
- /usr/local/genode:/usr/local/genode
command: /bin/bash
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment