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

  2. Build all the packages from the github repositories

  3. Creating a DANOS ISO using binary packages