Proper revision for kernel