kernel_interface.cpp revision 0b9da247
1