kernel_interface.cpp revision e4944941
1