I spent a fair bit of time at my last job trying to convince people that migrating to SAFERTOS and certifying from there was easier than certifying from FreeRTO

I spent a fair bit of time at my last job trying to convince people that migrating to SAFERTOS and certifying from there was easier than certifying from FreeRTOS, to no avail. It's more like a fork than a drop-in replacement once you're far along in a project, but it's certainly the better path to take than the alternative. I'd still say the developer and EE experience on Linux is far better than either though.