kernel.h revision 311d0761
1