FreeRTOS
RT-Thread
RTX
uCOS
比如华为物联网的 LITE OS
新起之秀 也是针对物联网的 RT-THREAD
比较精简通用的UCOS(这个的教程也是最多的)
Ucos
HUAWEI LiteOS
目前比较热门的就这几个