Is memory-safe Linux within reach? (opens in new tab)

(agarriga.substack.com)

5 pointsrhaps0dy3mo ago2 comments

2 comments

I'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.

rhaps0dyOP3mo ago

Most 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.

j / k navigate · click thread line to collapse

2 comments

bigyabai3mo ago

rhaps0dyOP3mo ago

Most 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.

j / k navigate · click thread line to collapse