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. Blocking abort
  11. Asymmetric Round-Robin scheduling
  12. Round-Robin yeild
  13. Forced unblocking
  14. Intelligent starvation protection
  15. Hybrid interrupt stack
  16. Deadlock detection
  17. Single or multiple tasks per priority level
  18. Configurable Round Robin
  19. Dynamic priority changes
  20. Compile time task and component creation
  21. Run-time safe service creation
  22. No fixed number of tasks or components
  23. Programmable timeout on components
  24. Memory block management
  25. Selectable scheduling search algorithm
  26. Optional cooperative mode
  27. 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