> Linux doesn't even obey ISO C's Memory Model. Red herring. If I recall correctly, Linus publicly stated a number of times that C's memory model is relevant f

> Linux doesn't even obey ISO C's Memory Model. Red herring. If I recall correctly, Linus publicly stated a number of times that C's memory model is relevant for userspace code but OS development has its own requirements. Amusingly enough, I recall that this discussion was about Rust, and the way that Rust proponents advocated pushing Rust's memory model onto Linux.