kernel_interface.cpp revision 0914d6da
1