kernel.h revision 4f5901f5
1