kernel.h revision ef0f2685
1