Mark3 is a sophisticated, modern RTOS and application development platform, targeted towards a growing list of today’s most compelling embedded devices.


  • Deterministic, multiple-priority preemptive scheduler, with round-robin scheduling within each priority
  • Binary and counting semaphores
  • Mutex objects supporting both recursion and priority inheritence
  • Event flags for efficient synchronization of multiple threads
  • Dynamic message queues for IPC
  • Device driver (open/close/read/write/ioctl) infrastructure baked into the kernel
  • Tickless software-based timers for maximum CPU, interrupt, and power efficienccy
  • High accuracy code-profiling timers
  • Extendable debug infrastructure for runtime debugging and critical error handling

MARK3 Platforms

  • AVR

MARK3 Components

  • None