kernel_interface.cpp revision 7f57b05f
1