Compiling Rust to readable C with Eurydice(lwn.net)

127 points by peter_d_sherman 16 days ago | 37 comments

LWN article describing Eurydice, a project that compiles Rust code into readable C for use with verification tools and platforms lacking a Rust compiler.

Committing to Rust in the Kernel(lwn.net)

158 points by todsacerdoti 2 years ago | 107 comments

Committing to Rust for Kernel Code(lwn.net)

160 points by wofo 2 years ago | 110 comments

Progress toward a GCC-based Rust compiler(lwn.net)

330 points by askl 2 years ago | 222 comments

LWN article reporting on progress of gccrs, a Rust compiler front end for GCC, and the alternative rustc_codegen_gcc approach.

LKML discusses merging Rust access to filesystem APIs(lwn.net)

39 points by mustache_kimono 2 years ago | 25 comments

Asterinas: A new Linux-compatible kernel project(lwn.net)

192 points by howtofly 1 year ago | 64 comments