Xilinix的一些API的简单价绍，希望对你会有所帮助。-Xilkernel is a small, robust, and modular kernel. It is highly integrated with the Platform Studio

framework and is a free software library that you get with the Xilinx Embedded Development Kit

(EDK). It allows a very high degree of customization, letting users tailor the kernel to an optimal

level both in terms of size and functionality. It supports the core features required in a

lightweight embedded kernel, with a POSIX API. Xilkernel works on both the MicroBlaze. and

PowerPC. 405 processors. Xilkernel IPC services can be used to implement higher level

services (such as networking, video, and audio) and subsequently run applications using these

services.