6 ms·

How does “This issue was present in the specification against which seL4 was verified” not imply yes to that question?