FUZIX is a better fit. https://codeberg.org/EtchedPixels/FUZIX
In this case I'd say https://en.wikipedia.org/wiki/NuttX
In this case I'd say https://en.wikipedia.org/wiki/NuttX