dunno what he means by "engine management system", but FADECs most certainly don't run Solaris, but very specialized real-time OSes.

maybe he means Flight Management Computers? those don't have direct control over avionics anyway, AFAIK.