Hacker News new | ask | show | jobs
by ryao 448 days ago
How does “This issue was present in the specification against which seL4 was verified” not imply yes to that question?