The source can be found at https://github.com/danos
Build all the packages from the github repositories
Creating a DANOS ISO using binary packages