Which video player/codec pack do you recommend? I just grabbed VLC and Mplayer, and VLC worked better, while Mplayer crashed on some divX. How does one relate windoze codec packs to codecs in Linux?

Here are the 5 best video players for Google TV: VLC, Just Player, Kodi, Nova Video Player, and MX Player. They offer better codec support, smoother playback, and cleaner interfaces than default ...