Why doesnt the Air Force just pay like $10k more for a development kit and just develop on the gaming OS? Makes more sense to me than using linux on the PS3, there are no drivers for the RSX, I think you can still develop with cloud computing in mind on the game OS. I personally use linux on the PS3, but I feel that the gaming OS has less restrictions, so I would assume that it would not be a real issue here... I personally won't update my PS3 though, unless they bring Other OS back. I am 90% sure you can get cloud computation with the gaming OS and more on the big scale like the Air Force is currently using it as. Plus, they have access to the RSX, which would be very beneficial in computing the nuke simulations and actually rendering it on screen. or what ever they are doing, may be a super realistic airplane simulator? Who knows, but I think the gaming OS is more than perfectly capable of doing what they want.
One argument can be that the programmers that are employed by the AF are so used to Linux programming, but I can argue that programming the SPUs and stuff are a whole new topic when it comes to programming, you have to take account into the different threads, the networking and whole bunch of head aches. Its worth learning the PS3's gaming API.
Keep in mind, I am still running Linux on my baby, its the launch 60 GB Japanese PS3, still running like a champ. :Punk: I have no plans of updating it until I get the Other OS back, but I think the US Air Force is smarter than this, the Other OS just cripples your PS3's full capacity...
Plus, they already paid TONS of money for the PS3s, just buy 1 Development kit, and they are free to develop on the PS3s.