Xilkernel是Xilinx公司提供的用于EDK系统的小型、模块化的操作系统，支持MicroBlaze、PowerPC405以及PowerPC440处理器。支持可移植操作系统接口(POSIX）。 Xilkernel功能函数包括：线程管理、信号量、消息队列、共享内存、互斥锁、动态内存管理、软件定时、用户层中断处理API等几个方面。 -Xilkernel Xilinx EDK system for small, modular operating system, to support t