Kodi (XBMC) for Jetson TK1
Current status: Full acceleration with GLES/EGL and OMX on X.Org.
It seems Kodi uses all cores that are online when Kodi starts so I recommend maximizing CPU performance before starting XBMC: http://elinux.org/Jetson/Performance#Maximizing_CPU_performance
With 4k/UltraHD/2160p TV you need to set the maximum GPU frequency as well.
Add those commands to a script and run the script from /etc/rc.local if you want them to be run automatically on every boot. It seems that something may change the governor later, so you may run the script with sudo again just before starting the XBMC.
Playback Quality Tips
Use Kodi Audio configuration under system settings to enable HDMI audio.
For jitter free video playback I recommend allowing Kodi to to adjust TV refresh rate always. For that you need to enable the Expert Settings and enable "Adjust display refresh rate to match video". For instructions, see: http://wiki.xbmc.org/index.php?title=Settings/Videos
With limited testing I suggest selecting Audio Clock as the A/V sync method.
If you have old non-PPA version installed, remove it first and delete all old Kodi settings (be sure to take a backup, if you have made any special settings):
sudo apt-get remove xbmc xbmc-bin rm -rf $HOME/.xbmc
If you have not yet enabled universe, enable it now:
sudo apt-add-repository universe
Add PPA for the Kodi, update and install Kodi:
sudo add-apt-repository ppa:kulve/xbmc-jetson-tk1 sudo apt-get update sudo apt-get install kodi