These are notes took by Kyle Yu for the course MIT 6.S081 Operating System Engineering
A 2021 version of course schedule can be found here: 6.S081 / Fall 2021 (mit.edu)