3 ms·

Also (correct me if I'm wrong), but doesn't Intel keep its manufacturing dedicated to its own use? So it might not be available for custom military-use chips.