kernel.h revision 77694f92
1