kernel.h revision 7450231f
1