RTuinOS
The event based Real-Time Operating System (RTOS) for Arduino
... supports three host operating
systems; the RTuinOS samples (as well as your applications) can be built
under Linux, Windows and Mac OS.
RTuinOS 1.0 is distributed as setup (a ZIP archive), which contains all
source files and the complete documentation, also with source files.
Building the samples can be started immediately after unzipping and
setting a single environment variable.
Thank you for your kind interest in RTuinOS.