Currently most avionics real-time operating systems for airplanes are proprietary and very specialized for safety assurance reasons
Currently most avionics real-time operating systems for airplanes are proprietary and very specialized for safety assurance reasons
A FreeRTOS derivative has gone through the effort of getting certified for safety critical applications, but that derivative is sadly proprietary. Even if FreeRTOS itself can’t meet that bar, though, the work wouldn’t have to start from scratch.