Searching for pedagogical materials on memory models https://lobste.rs/s/odnnzh #ask #osdev