modify kernel definitions, add more to introduction