kernel_interface.cpp revision 175e599a
1