3 ms·

Easily machine verified kernels that have a high degree of having no security exploits because of buffer overruns or null pointer shenanigans etc...