good points all around, yeah doing something like this to "prove" specific concepts seems sensible I guess. But then again why not just do that in a Linux fork?
I'm certainly not against writing a kernel in rust, I just think it's a weirdly reactionary response to the current discourse.