kernel_interface.cpp revision ee668d24
1