kernel_interface.cpp revision 812da77b
1