This course examines the theory of operating systems and how the operating system theory is implemented in current operating systems.