Kodi is a great media system ... if not, this process won't work. Go to Settings (on the TV menu, not the remote) > Device ...
Install Kodi on Linux using your package manager, but you typically need to add the official Kodi repository first. Launch ...