kernel.h revision 81c9d43f
1