Supported Xilinx Evaluation Boards

To configure PetaLinux for a particular Xilinx board, select "Xilinx" as the vendor in the top level Menu Configuration. All supported boards will be listed in the "Platform" submenu. See below for specific features of the PetaLinux support for these boards.

Spartan3/3E based boards

Spartan3E-500 Starter Kit (Revision C)

PetaLinux Vendor/Platform Name
Xilinx/Spartan3E500-RevC
EDK / Platform studio reference design location
EDK/ISE 9.1
hardware/reference-designs/Xilinx-Spartan3E500-RevC-edk91

Spartan3E-1600 Starter Kit

PetaLinux Vendor/Platform Name
Xilinx/Spartan3E1600-RevA
EDK / Platform studio reference design location
EDK/ISE 9.1
hardware/reference-designs/Xilinx-Spartan3E1600-RevA-edk91

Virtex 4 based boards

ML401

PetaLinux Vendor/Platform Name
Xilinx/ML401
EDK / Platform studio reference design location
EDK/ISE 9.1
hardware/reference-designs/Xilinx-ML401-edk91