Config files, scripts, and other stuff for Patmos - View it on GitHub