kernel.h revision 1717f209
1