We will use XMD to program the FPGA and run the embedded software on the PPC core.
On Fedora and Ubuntu, you have to install 3rd party Xilinx USB cable drivers, link.
source /opt/Xilinx/14.5/ISE_DS/settings32.shxmdOnce in XMD prompt type
fpga -f system.bit connect ppc hw dow simpleImage.virtex440-cobo02_nfs.elf run
system.bit is the FPGA's bitstream.
simpleImage.virtex440-cobo02_nfs.elf is the ELF image we are trying to run on the PowerPC core.