"A First Look at the Linux Kernel" class notes