kernel_interface.cpp revision f512ce42
1