Eu não sei de nenhum pedágio pré-fabricado, mas eu vi este tutorial sobre como construir seu próprio pedal USB. Como é apenas um teclado USB modificado, ele também funcionaria bem no Linux. Você pode simplesmente atribuir o comando do teclado que você escolheu para o pedal ao VLC ou ao software de reprodução que estiver usando.