incomplete:Kernel.p needs to be reviewed for spec completeness
