Hacker News new | past | comments | ask | show | jobs | submit
Luke2642 | on: A thousand fewer paths to root
Do we need to switch to seL4 type verified kernels? There's no way we can secure millions lines of code, the attack surface is too big?