3 ms·

Besides what others pointed out, Minix3 is engineered for fault tolerance foremost. seL4 has different goals.