I did not suggest giving up, but I did suggest that seL4 is not immune to the bu... | 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]

I did not suggest giving up, but I did suggest that seL4 is not immune to the bugs it’s advertising claims to avoid.

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