mbed

    mbed不仅仅是一个实时系统，也是一个开发平台，类似arduino那种，包括软件库SDK和硬件参考设计HDK，还有mbed cloud云平台，丰富的组件提供需要功能的一条龙服务。不过，mbed OS不是TROS，由于层层封装，运行效率低，实时性差，所以应该算是RTOS上的应用系统，感觉定位有点小尴尬，毕竟还有好多大厂的更接近云和用户的物联网系统。

    ARM家的，用于跑在Cortex MCU上，集成了自家KEIL的RTX系统内核，单线程操作系统，不同开发平台也同一了开发流程；由于是ARM主推，本人觉得最有可能实现大一统，至少硬件抽象层可以推得动，这样可以使嵌入式开发更取向于上层应用，反正牺牲的那点性能越来越不值钱了，物联网产品的丰富化和长尾化，注定开发难度和周期最重要，所以MCU跑python都是可以的。

    还提供了基于web浏览器的开发环境，省去安装和搭建环境；https://os.mbed.com，可能就是所谓的云端开发了吧，不过国内用介个在线编程的话是要疯掉的。