Revisions of Kernel