kernel_interface.cpp revision c7dc5745
1