El Kit Embedded Developer's de Xilinx (EDK) apoya a los núcleos embebidos de PowerPC 405 y 440 (en chips de Virtex-II Pro y algunos Virtex-4 y -5) y el núcleo Microblaze.