Currently most avionics real-time operating systems for airplanes are proprietary and very specialized for safety assurance reasons