kernel_interface.cpp revision 0b9da247dc04940a8ca61d744d2366c5b1319544
1