kernel.h revision 02f1f217
1