Start using Lean Kernel