kernel_interface.cpp revision cdebdeb0
1