Linux.

 Depending on your development goals, requirements, experience level, and budget, there are multiple options for implementing a Linux based system on Xilinx devices.

Xilinx Open Source Linux

• Xilinx Linux is an open source Project where key components are made available to users via two mechanisms:
• The Xilinx Git contains U-Boot, ARM Trusted Firmware, Linux kernel, GDB, GCC, libraries and other system software
• This Xilinx wiki contains documentation meant to guide the use of those software components .

• Some users may prefer to use one of the commercial products offered by our ecosystem partners. 
• Users who require comprehensive support, long-term stabilized code bases, or professional services should contact those vendors directly. 

• The Xilinx development options listed above include drivers that are specific to the Xilinx processor and silicon configurations.
• This Linux Drivers page contains details on the Xilinx provided open source drivers such as documentation, examples, recommended test procedures, how to use the drivers, known issues, etc.
• The drivers included in the kernel tree are intended to run on ARM and MicroBlaze architectures.

• Our Real-Time Linux page describes solutions for improved real-time performance on Xilinx silicon.