Config files, scripts, and other stuff for Patmos