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

dsPIC33E/PIC24E CPU 采用 16 位 （数据）的改进型哈佛架构，具有增强指令集，其中包括对 数字信号处理的强大支持。CPU 具有 24 位指令字，指令字带有长度可变的操作码字段。程序计 数器 （Program Counter， PC）为 24 位宽，可以寻址最大 4M x 24 位的用户程序存储空间。 指令预取机制可帮助维持吞吐量，并使指令的执行具有可预测性。除了改变程序流的指令、双字 传送（MOV.D）指令、PSV 访问和表指令以外，大多数指令都以单周期有效执行速率执