kernel_interface.cpp revision f77a87bf
1