kernel_interface.cpp revision b666bf3f
1