kernel_interface.cpp revision 72bfb144
1