Embedded System Tools Reference Manual Embedded Development Kit EDK 10.1, Service Pack 3 R . R © Copyright 2002 – 2008 Xilinx, Inc. All Rights Reserved. XILINX, the Xilinx…