freertos or projects like that could help. They need different drivers anyway so good rtos support would mean you can ignore the official sdk.