kernel_interface.cpp revision 2deffe2f
1