kernel.h revision 48ead020
1