kernel_interface.cpp revision 364759e0
1