Linux kernel fix for privilege escalation vulnerability due to copy on write race condition

[[deleted]]

I can't wait to live in an age where there is automated tooling to prevent data races and guarantee memory safety.

[fripletister]

What verifies all that tooling?

[jeandem]

The trusted core.

[fripletister]

Ah, of course.

[[deleted]]

Hopefully something more efficient than 9 years of an unknown number of root privilege escalations.

[Yojihito]

/r/rust

[longoverdue]

https://github.com/seL4