Recently Raspberry Pi publicly announced the release ... fetches the tool from the GitHub project page, before running the build.sh script with parameters defining the configuration file and ...