Documentation
• Platform Studio
– Embedded Development Kit (EDK) Resources
http://www.xilinx.com/edk
– Embedded System Tools Reference Manual
http://www.xilinx.com/support/documentation/sw_manuals/edk10_est_rm.pdf
– EDK Concepts, Tools, and Techniques
http://www.xilinx.com/ise/embedded/edk92i_docs/edk_ctt.pdf