[pjmlp]

For what it is worth, other FOSS OSes are getting the IoT space, not GNU/Linux.

Namely RTOS, Zephyr, NuttX, mbed, and Arduino compatible bare metal implementations.

Common to all of them? None of them is GPL licensed.