kernel_interface.cpp revision c33b645d
1