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