kernel_interface.cpp revision cef3610a
1