Here are some presentations relating to the subject of Operating System Kernels. You can read more about this topic on Wikipedia.