Jetson TK1 comes with Unity desktop on Ubuntu Linux, but there are many other options. We’ve posted new tutorials for installing Fedora, openSUSE and Arch Linux distributions (plus a minimal XFCE desktop) on Jetson TK1.
See the full list of Jetson TK1 distributions at [url]Jetson TK1 - eLinux.org
The instructions for Fedora are missing the contents for /usr/bin/nvidia-tegra-init-script, as well as the instruction to add the user to the video group.
Update: openmpi did not work on Fedora 20, but after upgrading the TK1 to Fedora 22, it works well. It was also important to replace the USB firmware file with xsub_sil_rel_fw-test, as USB had never worked well previously.