kernel.h revision 6dd42157
1