3 ms·

Not to the rigor seL4 has, with multiple-levels of verification.

• kccqzy 8y ago
  Yes I agree, but still with significantly more rigor than your typical operating system (Linux, Windows, macOS).