kernel_interface.cpp revision e8113cab
1