Welchen Player für Filme benutzt Kodi auf Nvidia Shield TV Pro ?

Kodi nutzt seinen eigenen internen Player, der meiner Meinung nach, eigentlich der beste von allen ist, was das korrekte Abspielen von Medien betrifft.

Externe Player lassen sich einbinden, wie das genau unter Android funktioniert, habe ich selbst noch nicht ausprobiert.

guckst Du hier ;)

Für externe Player würde ich noch kurz anmerken, dass mit der Verwendung dieser manche Funktionen in Kodi nicht zur Verfügung stehen.

Diese sind zum Beispiel "Resume points" bzw die "Watched states". Diese werden nicht mehr funktionieren wenn man externe Player nimmt, da Kodi mit diesen Playern nicht so wie mit seinem eigenen kommunizieren kann.