5 ms·Only takes about 30 seconds to recompile the OS, though.by jff 10y agoOnly takes about 30 seconds to recompile the OS, though.