kernel_interface.cpp revision 13de3d07
1