kernel.h revision 070cb065
1