# content
Explanation of the Linux-Kernel Memory Consistency Model (via matklad) — discussion

#formalmethods #hardware #osdev