They actually run System 4 (AP-101's) with an embedded OS. Same as the F-15
Note to self: When invading the US, do it on Dec. 31st