Windows 10 IoT - The operating system built for your Internet of Things
AWS IoT - Easily and securely connect devices to the cloud.
Nucleus RTOS - Nucleus RTOS is a proven, stable, and optimized real time operating system deployed on over 3 billion embedded devices
WindRiver VxWorks - VxWorks RTOS: Real-time, All the time
Zephyr RTOS - Primary Git Repository for the Zephyr Project. Zephyr is a new generation, scalable, optimized, secure RTOS for multiple hardware architectures. - zephyrproject-rtos/zephyr
ARM Mbed OS - The Arm® Mbed™ IoT Device Platform provides the operating system, cloud services, tools and developer ecosystem to make the creation and deployment of commercial, standards-based IoT solutions possible at scale.