kernel.h revision 48c7eca5
1