Building a DANOS ISO from source

  1. The source can be found at https://github.com/danos

  2. Build all the packages from the github repositories using a suitable method and publish them to a debian package repository.

  3. Then follow the steps at https://danosproject.atlassian.net/wiki/spaces/DAN/pages/491554