Because this wasn't clear to me immediately: This is a Linux distribution with Kodi preinstalled that grew out of the Raspbmc project.

Link to their GitHub repo: https://github.com/samnazarko/osmc