I've put together a script that generates Kodi game addons from the binaries available from libretro directly (no compiling). I've been testing it on Windows/Android/Linux/OSX and it seems to work pretty well, so I've expanded it to LE addons. The git repository for the addons is here.
For Generic LE x86_64 you can install and use the Kodi addon repository here
For ARMHF (RPi, and maybe S905? not sure exactly what is all covered with armhf), you can install and use the Kodi addon repository here
In testing the addons, many work, and some still don't (any addon requiring GL for example doesn't work, so they've been marked broken). The status of the ones I've tested on Linux and OSX are listed in the readme. I've setup the script to build a small number of cores for LE for testing for now, and if they seem to be working I'll open it up to the rest of the cores.
Happy Gaming!
