3 ms·

but this approach catches more bugs than any other technique Have you seen the specification for sel4? It's fairly complex.