- https://cs.uwaterloo.ca/~Brecht/courses/702/Possible-Readings/oses/imax-multiprocessor-os-sosp-1981.pdf https://cs.uwaterloo.ca/~Brecht/courses/702/Possible-R

- https://cs.uwaterloo.ca/~Brecht/courses/702/Possible-Readings/oses/imax-multiprocessor-os-sosp-1981.pdf https://cs.uwaterloo.ca/~Brecht/courses/702/Possible-Reading... - for the Intel 432!