Comment by RobotToaster

Microsoft ThreadX is open source.

I guess minix is kinda in that space too.

FreeRTOS has already been mentioned, but there's also NuttX/Vela.