Introduction - If you have any usage issues, please Google them yourself
Xilkernel Xilinx EDK system for small, modular operating system, to support the MicroBlaze, PowerPC405 and PowerPC 440 processor. Portable Operating System Interface (POSIX).
Xilkernel functions include: the management of threads, semaphores, message queues, shared memory, mutex, dynamic memory management, software timing, user-level interrupt handling and other aspects of the API.