@ilf, here you go. These instructions is on a totally newly installed vero4k+, with Debian11 testing, Hope they are clear enough (English not being my native language):
> cd /home/osmc && mkdir addons && cd addons && wget https://github.com/zach-morris/kodi_libretro_buildbot_game_addons/raw/main/repository.kodi_libretro_buildbot_game_addons_le_armhf.zip
> systemctl stop mediacenter
> sqlite3 /home/osmc/.kodi/userdata/Database/Addons33.db "UPDATE installed SET enabled = 1 WHERE addonID = 'game.libretro'"
> systemctl start mediacenter
In Kodi:
- Settings->Addon browser->Install from zip
Settings
Unknown sources “Tick it”
Yes
“Back” - Settings->Addon browser->Install from zip
Yes
Browse to homefolder/addons
repository.kodi_libretro_buildbot_game_addons_le_armhf.zip - Settings->Addon browser->Install from repository
Kodi build bot…
Game addons
Emulators
Nintrendo * Snes9x(current)
Install
Back to main menu
- Games
add games
browse to your snes-rom folder
Ok
ok
Reboot your vero4k and go to Games, your added snes source and just try to click a rom =)
Hope this worked for you, that last Reboot drove me crazy. Good Luck