kernel_interface.cpp revision 21885de2
1