kernel.h revision 35edd910
1