kernel_interface.cpp revision 03fa417b
1