kernel.h revision 9d3c752c
1