kernel_interface.cpp revision 224e7c42
1