Hacker Newsnew | past | comments | ask | show | jobs | submitlogin

This claim still assumes there's no vulnerabilities in a TCB sized in the millions of LoCs.

No chance.

Look elsewhere for actual security.

Right now, elsewhere just happens to be seL4. Anything else is either still too green or an architectural non-starter.



Consider applying for YC's Winter 2026 batch! Applications are open till Nov 10

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: