kernel_interface.cpp revision f7218c21
1