kernel_interface.cpp revision 3cf43c26
1