This is the repository for the phase 3 demo software and build support. The scripts directory contains everything needed to compile the demo.
Build the docker image with:
$ docker build -t smaccmpilot-build .
Alternatively, pull the image from dockerhub with:
$ docker pull galoisinc/smaccmpilot-build
Run with:
$ docker run -v $PWD:/workdir -it galoisinc/smaccmpilot-build
The built images are in /opt/ - you can copy them to /workdir with:
$ cp tk1-image /workdir
$ cp pixhawk-image.px4 /workdir
To rebuilt the images, follow the Dockerfile, specifically:
$ ./code-build-pixhawk-image.sh # builds px4 image
$ ./code-build-tk1.sh # builds the tk1 image
For more details about using the images, follow the Software Guide