Builds gate files needed to create a Raspberry Pi image - View it on GitHub