kernel_interface.cpp revision 2d871992
1