GitHub repository: manmuqingshan/QuarkTS
Primary language: C
Description: An open-source OS for embedded applications that supports prioritized cooperative scheduling, time control, inter-task communications primitives, hierarchical state machines and CoRoutines.