kernel.h revision 47a36163
1