kernel.h revision 63037f74
1