什么是内核以及不同类型的内核?