
I wrote this book to give systems programmers a precise, working model of memory and processes inside a real kernel built in C on x86-64. Instead of glossing over details, I treat page tables, allocators, VMAs, faults, and user crossings as rigorously as any other data structure...