kernel.h revision 37549e94
1