Nowadays Microsofts Azure RTOS is ThreadX: https://azure.microsoft.com/en-us/services/rtos/