kernel_interface.cpp revision 9d570af7
1