Hi folks, I’m working on some supplementary materials for a course I’m TAing, my university’s version of operating systems, that involves students developing an OS targeting a Raspberry Pi 3B+. One of the topics I’m trying to get at is strong and weak memory models (and why ARM has so many weird data/instruction buffer synchronization things students have to do when writing an MMU), so if you have any excellent example articles/passages/blogs on memory models that have helped you, please comment them so I can take a look! Thanks!