At this point, I'm not sure he knows what he's doing. Probably dizzy from the most recent spanking.
Bottom line remains - Linux is crashing on Airbus, not Windows.
And the FAA choice to use Linux simply because it's cheaper is ignorant. Unix is far more reliable and proven, and although it does often cost more, we're talking possible life and death situations and I'd rather my safety not be left to a cheap knock off.