Introduction - If you have any usage issues, please Google them yourself
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.