kernel book