kernel_interface.cpp revision 0bd0e0af
1