The Navy has actually used Linux within warships for awhile now (via its defense contractors). The boat I served on a few years ago used Linux for at least two

The Navy has actually used Linux within warships for awhile now (via its defense contractors). The boat I served on a few years ago used Linux for at least two different subsystems. And before Linux they've used UNIX so it's not as if the Navy is completely new to all this.