kernel.h revision dd287796
1