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