I wonder what's your use case for RTOS? I don't really know any problems that couldn't be solved with micros communicating with linux. Seems like even SpaceX gets away with it.
I mean there seem to be the market so clearly there are some people who need it, I just would like to learn more about where is it really needed.