kernel.h revision 00b55864
1