MARK3

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

Features

• 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