Is memory-safe Linux within reach?
agarriga.substack.com
Is memory-safe Linux within reach?
1–3 of 3 posts
Re: Is memory-safe Linux within reach?
#2Most Linux CVEs are memory corruption bugs. Previously I argued that we should compile C to be memory-safe rather than translating all C to Rust, to avoid introducing logic bugs.
Here, I argue that several parts of the kernel can also be compiled in a memory-safe way.
Re: Is memory-safe Linux within reach?
#3I'm not convinced. There is about a 0.0% chance you will fork Fil-C, convince Torvalds to accept it into the toolchain and add manual exception handlers to every panic before a Rust kernel reaches working capacity.