stateos
There are 2 repositories under stateos topic.
stateos/StateOS
Free real-time operating system (RTOS) for microcontrollers with advanced c++ wrapper and support for std::thread
stateos/StateOS_cpp11
RTOS designed for microcrocontrollers using std::thread. TEMPLATE.