kernel_interface.cpp revision 0f369756
1