====== XMD setup ======
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, [[http://rmdir.de/~michael/xilinx/|link]].
  * Download {{:xmd.ini.txt|:xmd.ini}} and save it in your xmd runtime directory e.g. $HOME/dev/xmd 
  * Load Xilinx environment e.g. ''source /opt/Xilinx/14.5/ISE_DS/settings32.sh''
  * run xmd just type ''xmd''

Once in XMD prompt type
<code>
fpga -f system.bit
connect ppc hw
dow simpleImage.virtex440-cobo02_nfs.elf
run
</code>

''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.