kernel_interface.cpp revision f11e1314
1