But isn’t Kodi an straight up media player instead of full blown Desktop Environment?
You still need an DE/WM installed on the system to run Kodi, you cannot just run Kodi by its own thing directly
There is actually a way to run Debian on Lego Mindstorms toy robot kit using ev3dev
Tho I never owned one of these kit, it still pretty cool looking
A witch who also a frog