kernel_interface.cpp revision af15ee68
1