kernel_interface.cpp revision 314cb5f1
1