kernel_interface.cpp revision b0368e77
1