includeos/build repository overview

The image is based on the IncludeOS releases. In order to use it, first pull the image:

docker pull includeos/build

In order to use it, enter the directory with your IncludeOS makefile and run:

docker run --rm -v $(pwd):/tmp/seed includeos/build

You can also streamline things, by making it into an alias:

alias includeos-build="docker run --rm -v $(pwd):/tmp/seed includeos/build"