I was thinking that when reading the exchanges. This is a really good interaction. Linus and the kernel have strong requirements for good reasons, and the rust teams are trying to address them in useful ways.

Rust in the kernel is not a simple thing, but I think both rust and the kernel will benefit.