Just getting this post back to the top. Myself want to know more about the Linux kernel.