kernel.h revision 72deb455
1