Programming languages: Now Rust project looks for a way into the Linux kernel