kernel_interface.cpp revision c391f84b
1