noem de verschillende soorten kernels?