leanKernel v6.7