Just installed Kodi with dietpi-software. Works great, but the official Kodi repository for addons is not included, meaning updates for official component aren’t done. It would be great to also install kodi-repository-kodi, as said here: Kodi - Debian Wiki so that people have direct access to official repo. Most of those addons are required.
Thanks in advance, have a great day.