kernels revised