@bert_hubert If you have the source code to the F35, then you won't need the support of the US military to use and maintain the software, as it's written in GNU ada, assembly, C++ and C, all of which can be compiled by GCC.

The proprietary hardware would indeed be the killer.