Platform support library used by libCEC and binary add-ons for Kodi WWW: https://github.com/Pulse-Eight/platform