a Project kernel dedicated to learning