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