kernel.h revision 658716d1
1