kernel_interface.cpp revision ffdaa11d
1