kernel.h revision 20dde762
1