kernel_interface.cpp revision 991ba9fd
1