kernel_interface.cpp revision bd85d7c7
1