Qnx is certified and has (hard) rtos baked in.

But montavista and others give most of that by now for less and are more maintainable anyway.