kernel_interface.cpp revision b61fdf78
1