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
- ${PETALINUX}/ 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
- ${PETALINUX}/ 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
- ${PETALINUX}/hardware/reference-designs/Xilinx-ML401-edk91


