Getting Started with the Embedded Development Kit Describes how to get started with the Embedded Development Kit Processor IP Reference Guide
	Describes the usage of On-chip Peripheral Bus (OPB) and the IBM Processor Local Bus (PLB) is used in Xilinx FPGAs.
	Provides the design specification for all the processor IP, provided with the EDK.
Embedded System Tools Guide
	Describes the Embedded Software Tools (EST) flow.
	Describes all the tools provided with EDK such as Library Generator, Platform Generator, GNU compiler framework, GNU debugger, Xilinx MicroProcessor Debugger, Simulation Generator, BFM Generator and the Xilinx Platform Studio.
	Describes the Microprocessor Hardware Specification (MHS) format and the Platform Generator infrastructure for embedded processor peripheral definitions: the Microprocessor Peripheral Definition (MPD) format.
	Describes the MicroProcessor Driver Definition (MDD), Microprocessor Software Specification (MSS) and the Microprocessor Verification Specification (MVS) format.
	Describes the software libraries available for Xilinx Embedded Processors. The libraries include the Xilinx C library (libXil), the math library (libm), the Xilinx file support functions (libXil File), the Xilinx memory mapped file system (libXil MFS), the Xilinx networking support (libXil Net), the Xilinx device drivers (libXil Driver) and the Xilinx Standalone Board Support Package (BSP).

Xilinx Drivers
	Describes the drivers used by the Embedded Development Kit.

PowerPC Processor Reference Guide This document is intended to serve as a stand-alone reference for application and system programmers of the PowerPC® 405D5 processor.

PowerPC 405 Processor Block Reference Guide Xilinx implementation of PowerPC. Targeted to hardware and system designers.   MicroBlaze Processor Reference Guide This document is intended to serve as a stand-alone reference for application and system programmers of the MicroBlaze processor.

Visit the EDK page for more information.