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

EGO1 是依元素科技基于Xilinx Artix-7 FPGA 研发的便携式数模混合基础教学平台。EGO1 配备的FPGA (XC7A35T-1CSG324C)具有大容量高性能等特点，能实现较复杂的数字逻辑设计；在FPGA 内可以构建MicroBlaze 处理器系统， 可进行SoC 设计。该平台拥有丰富的外设，以及灵活的通用扩展接口。适合初学者学习使用，该手册为EGO1用户手册