kernel_interface.cpp revision 071ac293
1