kernel_interface.cpp revision 0a0ba4b5
1