Book Notes on "Design and Implementation of a 64-bit Operating System" - View it on GitHub