4 ms·

IIRC, ARPA at some point was more interested in funding projects based on Mach than based on any other kernel.