kernel.h revision 00845eb9
1