leanKernel v6.8