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.sh
xmd
Once 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.