kernel_interface.cpp revision 1fb71f87
1