kernel_interface.cpp revision 5b4cb109
1