This is why I’m curious about RedoxOS. It’s new, written in Rust, and has the chance to implement a different memory model without caring about a bunch of legacy code. I don’t know if Linus is right and that access is context dependent (it does sound right) and maybe that distinction from atomicity by type is unnecessary, but having never written kernel nor machine code, I have no idea about that kind of stuff.

Maybe sticking to the old will work out well enough or while implementing it in Rust they’ll find bugs. At least some fresh eyes will look at it during reimplementation.