kernel_interface.cpp revision 4e2cd771
1