Some personal notes on the workings of the Linux Kernel