Changed to use lean kernel