Tutorial Guide: Xilinx Kernel (Xilkernel) (ICI-310)

Tutorial Guide: Xilinx Kernel (Xilkernel) (ICI-310)
Minimum Subscription Required:
Price with Subscription

How to access this item?

Contact Us

Need help? Any feedback?

Please email us at: docs@cmc.ca.


This tutorial is intended to familiarize programmers with Xilinx Kernel (Xilkernel) which supports basic Real Time Operating System (RTOS) services on Xilinx FPGA embedded designs. Xilkernel allows programmers to split the application into different tasks and time-share those tasks to meet the required performance.

The services provided by Xilkernel include inter-process communication (IPC), scheduling policy, synchronization services (semaphores and mutex), software timers, and dynamic buffer pool memory allocation. These services could be very useful for higher level services such as networking, video, and audio applications that are time critical.

This tutorial and the reference design illustrate these features of Xilkernel:

  • Thread creation and handling,
  • Inter-Process Communication (IPC),
  • Different types of scheduling algorithms, and
  • Software timers.

Licensing Requirements or Restrictions

All CMC Microsystem account holders with a Professor Research Subscription are authorized to access this application note. For more information, contact our Licensing Administrator at licensing@cmc.ca or 613-530-4787.

Acknowledging CMC

If your research benefits from products and services provided by CMC Microsystems, please acknowledge this support in any publications about your work. For more information, please visit Acknowledge CMC.