A port of mupen64plus for the Raspberry PI