kernel_interface.cpp revision bcd30708
1