Hello,
I am very sorry for the the dumb question in the title. I have circled for a while between the download page (https://kodi.tv/download/) which points for linux to a guide (HOW-TO:Install_Kodi_for_Linux (wiki)) which points to the main Kodibuntu page (KodiBuntu (wiki)) for Kodibuntu which in turn points to the download page (https://kodi.tv/download/, how stupid!)
In the complete guide for Linux, there is only the Helix version with a too old kernel (3.13) for my hardware. I tried it but it failed to put my Ethernet card on. The function lspci finds “Ethernet controller Intel corporation device 15b8” but ifconfig only shows my lo interface with the usual 127.0.0.1 IP address, nothing else (no Eth0). That is why I would like to try to download the Jarvis version instead of fighting with my Ethernet configuration.
Thank you in advance for any piece of information.