Art of Linux Kernel Design