kernel_interface.cpp revision 795f13d6
1