kernel_interface.cpp revision 4e742d81
1