Scripts and configurations for the Dolphin Emulator infrastructure - View it on GitHub