kernel_interface.cpp revision 941416ff
1