kernel.h revision 03cb4473
1