kernel_interface.cpp revision 547cd462
1