kernel_interface.cpp revision 83812f67
1