Notes taken while reading the kernel