Xilkernel是Xilinx公司提供的用于EDK系统的小型、模块化的操作系统，支持MicroBlaze、PowerPC405以及PowerPC440处理器。支持可移植操作系统接口(POSIX）。

Xilkernel功能函数包括：线程管理、信号量、消息队列、共享内存、互斥锁、动态内存管理、软件定时、用户层中断处理API等几个方面。

-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.