kernel_interface.cpp revision 242fec23
1