kernel.h revision 40cbf09f
1