kernel.h revision 4efb442c
1