kernel_interface.cpp revision 245aecda
1