kernel_interface.cpp revision 35b40030
1