Support for different OSes?

Are there any plans to have L4T provided with different operating systems, such as Archlinux or Fedora?

Hi

Jetson TK1/TX1 comes preloaded with NVIDIA’s Linux4Tegra (L4T) distribution. However it is possible to install other distributions on a Tegra.

You may find some information from below link, even they’re main for TK1, but can be leveraged to TX1:
[url]Jetson TK1 - eLinux.org

Cheers