In this case I'd say https://en.wikipedia.org/wiki/NuttX