kernel_interface.cpp revision ed7329a8
1