kernel_interface.cpp revision b30e56f2
1