He missed, on IoT space:

- NuttX

- Zephyr (ironically a Linux Foundation project)

- Azure Sphere OS (It might run Linux kernel, but very custom one)

- Azure RTOS

- FreeRTOS

- Mongoose OS

- Mbed

- Arduino