kernel_interface.cpp revision 0c6927b5
1