Use leanKernel