What is a Kernel in OS? What are the types of Kernel?