kernel_interface.cpp revision 425cb3d7
1