"unhackable"? After reading "How to Write Unmaintainable Code" [1] earlier, I expected to find some kernel code implementing all those valuable principles, not

"unhackable"? After reading "How to Write Unmaintainable Code" [1] earlier, I expected to find some kernel code implementing all those valuable principles, not an article about a kernel proven secure against any attack :) [1] https://news.ycombinator.com/item?id=10237636 https://news.ycombinator.com/item?id=10237636