4 ms·

We will know if it was successful when seL4 is used by someone and actually shows that it doesn't have bugs.