It seems like this could pose some problem for the DOD, since IBM was the only trusted foundry with a cutting-edge process for logic. Presumably they don't want the government of Abu Dhabi fabbing chips for them.
The current list: http://www.dmea.osd.mil/otherdocs/AccreditedSuppliers.pdf
[1] http://www.oregonlive.com/silicon-forest/index.ssf/2013/07/i...