Learning tidbits about the Linux Kernel