kernel_interface.cpp revision 823a23829a5f584fbf019f74fa060ec7d3327418
1