kernel_interface.cpp revision 44f79488
1