kernel_interface.cpp revision a7fe1dbb
1