kernel_interface.cpp revision 27f23ba2
1