kernel.h revision 0a9df786
1