A generic front-end game launcher for a P-ROC enabled pinball machine (Linux only)