Kernel Features Snapshot

  1. Fully preemptive
  2. Very small code and data footprint
  3. Zero interrupt latency kernel
  4. No interrupt disable/enable
  5. Mutexes
    1. Re-entrant
    2. Configurable priority inheritance
    3. Adaptive priority ceiling
    4. Priority based and first-come, first-served
  6. Semaphores
    1. Counting and binary
    2. Priority based and first-come, first-served
  7. Mailboxes
    1. Priority based and first-come, first-served
  8. Events
  9. Grouping
  10. Asymmetric Round-Robin scheduling
  11. Round-Robin yeild
  12. Forced unblocking
  13. Intelligent starvation protection
  14. Hybrid interrupt stack
  15. Deadlock detection
  16. Single or multiple tasks per priority level
  17. Configurable Round Robin
  18. Dynamic priority changes
  19. Compile time task and component creation
  20. Run-time safe service creation
  21. No fixed number of tasks or components
  22. Programmable timeout on components
  23. Memory block management
  24. Selectable scheduling search algorithm
  25. Optional cooperative mode
  26. Debug logging

More information here on:

  1. Intelligent starvation protection
  2. Configurable mutex priority inheritance
  3. Adaptive mutes priority ceiling
  4. Deadlock detection
  5. Run-time safe service creation