kernel.h revision 0b2749aa
1