kernel.h revision 47d4b263
1