Performance Tips

It seems Kodi only uses the CPU cores that are online when Kodi starts, so I recommend
maximizing CPU performance before starting Kodi / XBMC.

For 4k/UltraHD/2160p TV you need to set the maximum GPU frequency as well.

Commands to adjust performance only last until a reboot (or until something else changes them), so you can add commands to your "/etc/rc.local" bootup script if you want them to be run automatically on every boot. It's possible that something may change them later if you don't use Kodi soon after bootup, so you might want to also run "sudo /etc/rc.local" again just before starting Kodi / XBMC.

Full details about adjust these are on the Jetson Performance page, but for Kodi / XBMC with hardware decoding, it is usually good enough to just force all CPU cores of Jetson TK1 online on every bootup, without forcing the CPU to run at max clock speeds.