Kernel types

We're going to explain the types of in this section.