[aloha2436]

I'm trying to picture in my mind a person who is a fan of Rust and somehow against an OS with a formally-verified kernel no matter the language. I'm not having much success.

[fooker]

I see you have not met a lot of Rust activists.

[aloha2436]

Certainly I don't seem to run into as many of them as I'm led to believe exists.

[adastra22]

I am a “Rust activist” any day of the week. seL4 is awesome and amazing.

[pppppiiiiiuuuuu]

It's funny how people always allude to fanatical Rust developers in the most tangential threads, but they never actually turn up and demand we rewrite the entire Kernel in Rust or whatever terrible takes they're alleged to have.