kernel.h revision 9f615894
1