kernel.h revision 4c527293
1