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/support/documentation/sw_manuals/edk_ctt.pdf