How does “This issue was present in the specification against which seL4 was ver... | Hacker News

Hacker Timesnew | past | comments | ask | show | jobs | submit

ryao on March 24, 2025 | parent | context | favorite | on: The SeL4 Microkernel: An Introduction [pdf]

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

Consider applying for YC's Fall 2026 batch! Applications are open till July 27.
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact