Digilent 410-370 Cora Z7: Zynq-7000 Development Board for ARM Development, FPGA Development

Full support for Vivado and Petalinux design environments
667 MHz Cortex-A9 processor with tightly integrated Xilinx FPGA (option between Dual Core and Single Core options)
512 MB DDR3 memory
Arduino shield and Pmod connectors for add-on hardware devices
USB and Ethernet connectivity
Large array of general purpose input/output ports for any number of different custom solutions
Small form factor and mounting holes
Programmable from JTAG and microSD card