Thanks. Very interesting, indeed.
Here's the problem, though. Other than a windows machine, all I have is the Raspberry Pi running OpenELEC, which is a pretty skeletal build of linux with just enough bits and pieces to run Kodi. The github repository is a sourcecode repository, which doesn't seem to be exactly the same thing as what Kodi calls a repository.
Kodi can install addons from a repository or from a zip file. You can download the entire "unofficial-addons" tree as a .zip, but again, that doesn't contain any compiled addons of the sort that Kodi is looking for, so when you click on "install from zip file" and choose that, you get no entries.
Sorry to be such a luser, but even if I was a linux guru, I'd probably still be handicapped by OpenELEC's out-of-the-box lack of user documentation. It's so front-end oriented, that they've buried and hid all the pieces. I'm not even sure where I'd need to put the addon if I could figure out how to run the make file.
So much for whining... I've been googling into all sorts of dead ends and exploitative websites for what seems like hours. Does anyone know where I can find a ready-to-rock .zip file I can add to my filemanager sources so I can install the tvheadend back end for OpenELEC 6.01 running on the Raspberry Pi2 (the one with the quad-core ARM)?