4 ms·

But they said "widely deployed", not "popular". No one is claiming Minix is the most popular OS in the world.