kernel.h revision 5e376613
1