Vielen Dank für die Antwort. Ich habe es mit OSMC probiert, aber leider nicht hingekriegt. Die Anleitung (https://discourse.osmc.tv/t/update-pvr-client/91002/2) habe ich gesehen und befolgt. Eventuell liegt es daran, dass ich es um einem RPi3 geht und dort das Image nicht ganz aktuell ist oder gewisse Dinge nicht kompatibel? Ich habe Kodi mit OSMC zum Laufen bekommen, konnte aber dann die mit Ubuntu kompilierte und via ZIP-Datei auf USB-Stick gefütterte Teleboy-19.8.2-Versionaber nicht erfolgreich installieren und benützen. Auf einem RPi4, den ich auch habe, funktioniert ohnehin alles tadellos. Ich sehe gerade, dass unter https://discourse.osmc.tv/t/update-pvr-client/91002/2 auch ein fertiges ZIP verlinkt ist - heute Abend kann ich es damit nochmals probieren.
EDIT:
Jetzt hat es mit minix' ZIP-Datei geklappt, auch auf meinem RPi3, da bin ich unglaublich froh. Irgendwas muss wohl mit meiner ZIP-Datei nicht ganz in Ordnung sein, obwohl ich genau nach Anleitung vorgegangen bin und sie auch erkannt wurde und Teleboy grundsätzlich installiert wurde. Aber irgendwo war wohl ein Wurm drin.
Herzlichen Dank für die Hilfe.