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:
http://elinux.org/Jetson_TK1#Linux_distributions_running_on_Tegra

Cheers