Also in this OS textbook

https://pages.cs.wisc.edu/~remzi/OSTEP/