Xilinx Microkernel (XMK)
Xilinx Microkernel это модульное ядро для встраиваемых вычислительных
систем, поставляемое вместе с Embedded Development Kit. XMK полностью
поддерживает процессоры PowerPC405 и Microblaze.
XMK является идеальным выбором в случае если
разрабатываемая система предъявляет высокие требования к объему
занимаемой памяти и не требует большого количества системных вызовов
операционной системы.
Более подробное описание XMK можно посмотреть здесь:
Описание XMK
Упражнения
Для понимая работы Xilinx Microkernel приводится несколько упражнений,
показывающих основные приемы, используемые при работе с данной
библиотекой. В данных упражнениях рассматриваются: управление
процессами, работа с портами ввода/вывода, создание потоков,
взаимодействие между процессами, работа с файловой системой.
Для выполнения упражнений необходимы:
ISE 5.2 SP3, EDK 3.2 SP2, Memec 2VP7-FG456 Rev3 board