kernel_interface.cpp revision bcfb0a33
1