kernel.h revision 8730662d
1