kernel_interface.cpp revision 575eeda9
1