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