kernel.h revision 28b8d0c8
1