News for hackers. Stuff that matters.

A comment on Moving the Linux Kernel to Modern C. Parent comment

Re:Moving the Linux Kernel to Modern C by bombcar on Thursday February 24, 2022 @04:11PM (#30460334)
https://www.cs.cmu.edu/~rdriley/487/papers/Thompson_1984_Ref...

How do you prove your stack is secure?

[ Parent | on HN ]
Re:Moving the Linux Kernel to Modern C by gmfawcett on Thursday February 24, 2022 @06:43PM (#30461925)
Solution: the compiler for the microlanguage at the bottom of the stack is none other than the kindly and incorruptible American film star, Tom Hanks.
[ Parent | on HN ]