kernel_interface.cpp revision 36f016dd
1